[ubuntu/artful-proposed] ssreflect 1.6.1-2build3 (Accepted)
Dimitri John Ledkov
launchpad at surgut.co.uk
Sun Jul 16 23:37:26 UTC 2017
ssreflect (1.6.1-2build3) artful; urgency=high
* No change rebuild against coq abi change.
Date: 2017-07-16 22:47:26.921297+00:00
Changed-By: Dimitri John Ledkov <launchpad at surgut.co.uk>
https://launchpad.net/ubuntu/+source/ssreflect/1.6.1-2build3
-------------- next part --------------
Sorry, changesfile not available.
More information about the Artful-changes
mailing list