[ubuntu/noble-updates] coq-menhirlib 20231231+ds-1 (Accepted)

Ubuntu Archive Robot ubuntu-archive-robot at lists.canonical.com
Fri Mar 29 23:59:06 UTC 2024

Previous message (by thread): [ubuntu/noble-updates] coq-libhyps 2.0.8-1build1 (Accepted)
Next message (by thread): [ubuntu/noble-updates] coq-math-classes 8.18.0-1 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

coq-menhirlib (20231231+ds-1) unstable; urgency=medium

  * New upstream release.

Date: 2024-01-21 04:29:37.840868+00:00
Signed-By: Ubuntu Archive Robot <ubuntu-archive-robot at lists.canonical.com>
https://launchpad.net/ubuntu/+source/coq-menhirlib/20231231+ds-1
-------------- next part --------------
Sorry, changesfile not available.

Previous message (by thread): [ubuntu/noble-updates] coq-libhyps 2.0.8-1build1 (Accepted)
Next message (by thread): [ubuntu/noble-updates] coq-math-classes 8.18.0-1 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the noble-changes mailing list