[ubuntu/oracular-proposed] coq-reglang 1.2.1-3 (Accepted)

Gianfranco Costamagna costamagnagianfranco at yahoo.it
Thu May 2 11:34:20 UTC 2024

Previous message (by thread): [ubuntu/oracular-proposed] coq-reduction-effects 0.1.5-4 (Accepted)
Next message (by thread): [ubuntu/oracular-proposed] coq-relation-algebra 1.7.10-3 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

coq-reglang (1.2.1-3) unstable; urgency=medium

  * Fix target distribution.

Date: 2024-04-30 22:26:59.553979+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/coq-reglang/1.2.1-3
-------------- next part --------------
Sorry, changesfile not available.

Previous message (by thread): [ubuntu/oracular-proposed] coq-reduction-effects 0.1.5-4 (Accepted)
Next message (by thread): [ubuntu/oracular-proposed] coq-relation-algebra 1.7.10-3 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the oracular-changes mailing list