[ubuntu/focal-proposed] ssreflect 1.10.0+dfsg-2 (Accepted)

[Gianfranco Costamagna]

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.