[ubuntu/oracular-proposed] coq-ext-lib 0.12.1-1 (Accepted)

Gianfranco Costamagna costamagnagianfranco at yahoo.it
Thu May 2 11:27:21 UTC 2024

Previous message (by thread): [ubuntu/oracular-proposed] coq-equations 1.3-8.19-1 (Accepted)
Next message (by thread): [ubuntu/oracular-proposed] coq-extructures 0.4.0-3 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

coq-ext-lib (0.12.1-1) unstable; urgency=medium

  * New upstream release.

Date: 2024-04-27 22:27:50.383801+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/coq-ext-lib/0.12.1-1
-------------- next part --------------
Sorry, changesfile not available.

Previous message (by thread): [ubuntu/oracular-proposed] coq-equations 1.3-8.19-1 (Accepted)
Next message (by thread): [ubuntu/oracular-proposed] coq-extructures 0.4.0-3 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the oracular-changes mailing list