Superseded
by mrpt - 1:1.5.0~snapshot20170123-0310-git-bc54a544-trusty-1~ppa1~trusty
Published
Changelog
mrpt (1:1.5.0~snapshot20170122-0310-git-202a7180-trusty-1~ppa1~trusty) trusty; urgency=medium
* New version of upstream sources.
-- Jose Luis Blanco (University of Malaga) <email address hidden> Sun, 22 Jan 2017 03:10:33 +0100