Publishing details

Removed from disk on 2022-09-09.
Removal requested on 2022-09-09.
Deleted on 2022-09-09 by Jose Luis Blanco-Claraco
Published on 2020-04-03

Changelog

mrpt (1:2.0.1~snapshot20200403-2300-git-0fef1a6d-disco-1) disco; urgency=medium

  * New version of upstream sources.

 -- Jose Luis Blanco (University of Malaga) <email address hidden>  Fri, 03 Apr 2020 23:15:27 +0200

Available diffs

diff from 1:2.0.1~snapshot20200402-1218-git-714ea2ca-disco-1 to 1:2.0.1~snapshot20200403-2300-git-0fef1a6d-disco-1 (1.7 KiB)

Builds

Package files

No files published for this package.