Ubuntu
ssreflect package

Branches for Trusty

Name		Status	Last Modified	Last Commit
lp:ubuntu/trusty/ssreflect		2 Mature	2014-01-20 08:53:40 UTC 2014-01-20	20. * Recompile with coq 8.4pl3 * Bump St... Author: Stéphane Glondu Revision Date: 2014-01-20 08:53:40 UTC * Recompile with coq 8.4pl3 * Bump Standards-Version to 3.9.5 (no changes) * Update debian/watch
lp:ubuntu/trusty-proposed/ssreflect		1 Development	2014-01-20 08:53:40 UTC 2014-01-20	18. * Recompile with coq 8.4pl3 * Bump St... Author: Stéphane Glondu Revision Date: 2014-01-20 08:53:40 UTC * Recompile with coq 8.4pl3 * Bump Standards-Version to 3.9.5 (no changes) * Update debian/watch