Superseded
by mrpt - 1:1.9.9~snapshot20190225-1204-git-f8aa0e32-cosmic-1~ppa1~cosmic
Published
Changelog
mrpt (1:1.9.9~snapshot20190220-1340-git-d6315f02-cosmic-1~ppa1~cosmic) cosmic; urgency=medium
* New version of upstream sources.
-- Jose Luis Blanco (University of Malaga) <email address hidden> Wed, 20 Feb 2019 14:00:31 +0100