Publishing details

Removed from disk on 2020-06-28.
Removal requested on 2020-06-27.
Deleted on 2020-06-27 by Jose Luis Blanco-Claraco
Published on 2020-04-03

Changelog

mrpt (1:2.0.1~snapshot20200403-0141-git-88c8c52f-disco-1) disco; urgency=medium

  * New version of upstream sources.

 -- Jose Luis Blanco (University of Malaga) <email address hidden>  Fri, 03 Apr 2020 02:00:26 +0200

Available diffs

diff from 1:2.0.1~snapshot20200403-0052-git-534ad93c-disco-1 to 1:2.0.1~snapshot20200403-0141-git-88c8c52f-disco-1 (715 bytes)

Builds

Package files

No files published for this package.