Ubuntu
coq package

Branches for Utopic

Name		Status	Last Modified	Last Commit
lp://staging/ubuntu/utopic/coq		2 Mature	2014-07-27 15:25:03 UTC 2014-07-27	23. * New upstream release (Closes: #7559... Author: Stéphane Glondu Revision Date: 2014-07-27 15:25:03 UTC * New upstream release (Closes: #755953) * Switch debian/copyright to Format 1.0 * Bump Standards-Version to 3.9.5 * Bump debhelper compat level to 9
lp://staging/ubuntu/utopic-proposed/coq		1 Development	2014-07-27 23:19:41 UTC 2014-07-27	23. * New upstream release (Closes: #7559... Author: Stéphane Glondu Revision Date: 2014-07-27 15:25:03 UTC * New upstream release (Closes: #755953) * Switch debian/copyright to Format 1.0 * Bump Standards-Version to 3.9.5 * Bump debhelper compat level to 9