[ubuntu/oracular-proposed] coq-libhyps 2.0.8-3 (Accepted)

Gianfranco Costamagna costamagnagianfranco at yahoo.it
Thu May 2 11:31:45 UTC 2024

Previous message (by thread): [ubuntu/oracular-proposed] coq-iris 4.2.0-1 (Accepted)
Next message (by thread): [ubuntu/oracular-proposed] coq-math-classes 8.19.0-1 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

coq-libhyps (2.0.8-3) unstable; urgency=medium

  * Fix target distribution.

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

Previous message (by thread): [ubuntu/oracular-proposed] coq-iris 4.2.0-1 (Accepted)
Next message (by thread): [ubuntu/oracular-proposed] coq-math-classes 8.19.0-1 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the oracular-changes mailing list