Superseded
by mrpt - 1:1.9.9~snapshot20181214-1015-git-5bd8230b-xenial-1~ppa1~xenial
Published
Changelog
mrpt (1:1.9.9~snapshot20181212-1249-git-e8148da9-xenial-1~ppa1~xenial) xenial; urgency=medium
* New version of upstream sources.
-- Jose Luis Blanco (University of Malaga) <email address hidden> Wed, 12 Dec 2018 13:00:17 +0100