[ubuntu/oracular-proposed] coq-unimath 20240331-1 (Accepted)

Gianfranco Costamagna costamagnagianfranco at yahoo.it
Thu May 2 12:23:25 UTC 2024

Previous message (by thread): [ubuntu/oracular-proposed] freerdp3 3.5.1+dfsg1-3 (Accepted)
Next message (by thread): [ubuntu/oracular-proposed] lumino 2024.3.25-1 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

coq-unimath (20240331-1) unstable; urgency=medium

  * New upstream release.

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

Previous message (by thread): [ubuntu/oracular-proposed] freerdp3 3.5.1+dfsg1-3 (Accepted)
Next message (by thread): [ubuntu/oracular-proposed] lumino 2024.3.25-1 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the oracular-changes mailing list