[ubuntu/lunar-proposed] coq-simple-io 1.8.0-1 (Accepted)

Gianfranco Costamagna costamagnagianfranco at yahoo.it
Sat Nov 5 14:02:58 UTC 2022

Previous message (by thread): [ubuntu/lunar-proposed] gpgme1.0 1.18.0-2ubuntu1 (Accepted)
Next message (by thread): [ubuntu/lunar-proposed] ortp 1:5.0.37-2 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

coq-simple-io (1.8.0-1) unstable; urgency=medium

  * New upstream release.

Date: 2022-09-25 22:27:57.557779+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/coq-simple-io/1.8.0-1
-------------- next part --------------
Sorry, changesfile not available.

Previous message (by thread): [ubuntu/lunar-proposed] gpgme1.0 1.18.0-2ubuntu1 (Accepted)
Next message (by thread): [ubuntu/lunar-proposed] ortp 1:5.0.37-2 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the lunar-changes mailing list