Publishing details
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by menhir - 20171222-1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
Changelog
menhir (20171206-1) unstable; urgency=medium
* New upstream version.
* Standards-version 4.1.2 (no change)
* Drop debian/source/local-options
-- Ralf Treinen <email address hidden> Wed, 13 Dec 2017 21:31:45 +0100
Builds
Package files