Ubuntu
coq package

Branches for Wily

Name		Status	Last Modified	Last Commit
lp:ubuntu/wily/coq		1 Development	2015-05-05 18:49:59 UTC 2015-05-05	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