[ubuntu/groovy-proposed] coq 8.12.0-3 (Accepted)

Gianfranco Costamagna costamagnagianfranco at yahoo.it
Tue Sep 15 08:21:43 UTC 2020

Previous message (by thread): [ubuntu/groovy-proposed] why3 1.3.2-1 (Accepted)
Next message (by thread): [ubuntu/groovy-proposed] fakechroot 2.19-3.3 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

coq (8.12.0-3) unstable; urgency=medium

  * Upload to unstable

Date: 2020-09-10 10:27:15.152034+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/coq/8.12.0-3
-------------- next part --------------
Sorry, changesfile not available.

Previous message (by thread): [ubuntu/groovy-proposed] why3 1.3.2-1 (Accepted)
Next message (by thread): [ubuntu/groovy-proposed] fakechroot 2.19-3.3 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Groovy-changes mailing list