[ubuntu/focal-proposed] ssreflect 1.10.0+dfsg-2 (Accepted)
Gianfranco Costamagna
costamagnagianfranco at yahoo.it
Thu Mar 19 08:44:24 UTC 2020
ssreflect (1.10.0+dfsg-2) unstable; urgency=medium
* Rebuild against coq 8.11.0
* Standards-version 4.5.0 (no change)
Date: 2020-03-07 04:41:44.339088+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/ssreflect/1.10.0+dfsg-2
-------------- next part --------------
Sorry, changesfile not available.
More information about the Focal-changes
mailing list