[ubuntu/mantic-proposed] menhir 20230608+ds-1 (Accepted)
Gianfranco Costamagna
costamagnagianfranco at yahoo.it
Mon Aug 28 07:07:17 UTC 2023
menhir (20230608+ds-1) unstable; urgency=medium
[ Stéphane Glondu ]
* Team upload
* New upstream release
* Fix debian/watch
* Fix cleaning (Closes: #1046147)
[ Debian Janitor ]
* Remove constraints unnecessary since buster (oldstable):
+ Build-Depends: Drop versioned constraint on ocaml-nox (>= 4.02.3~).
+ menhir-doc: Drop conflict with removed package menhir (<< 20170712-1) in
Replaces.
+ menhir-doc: Drop conflict with removed package menhir (<< 20170712-1) in
Breaks.
* Use secure URI in Homepage field.
Date: 2023-08-27 10:31:25.514048+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/menhir/20230608+ds-1
-------------- next part --------------
Sorry, changesfile not available.
More information about the mantic-changes
mailing list