[ubuntu/noble-updates] coq-equations 1.3-8.18-1 (Accepted)

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

Previous message (by thread): [ubuntu/noble-updates] coqeal 2.0.1-1build2 (Accepted)
Next message (by thread): [ubuntu/noble-updates] coq-extructures 0.4.0-1build2 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

coq-equations (1.3-8.18-1) unstable; urgency=medium

  * New upstream release.

Date: 2023-12-23 16:27:32.766139+00:00
Signed-By: Ubuntu Archive Robot <ubuntu-archive-robot at lists.canonical.com>
https://launchpad.net/ubuntu/+source/coq-equations/1.3-8.18-1
-------------- next part --------------
Sorry, changesfile not available.

Previous message (by thread): [ubuntu/noble-updates] coqeal 2.0.1-1build2 (Accepted)
Next message (by thread): [ubuntu/noble-updates] coq-extructures 0.4.0-1build2 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the noble-changes mailing list