[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