Ubuntu
coq-doc package

Branches for Trusty

Name		Status	Last Modified	Last Commit
lp:ubuntu/trusty-proposed/coq-doc		2 Mature	2013-12-13 23:18:58 UTC 2013-12-13	8. * New upstream release * Debhelper co... Author: Stéphane Glondu Revision Date: 2013-12-12 09:06:18 UTC * New upstream release * Debhelper compat level 9 * Update Vcs-*
lp:ubuntu/trusty/coq-doc		1 Development	2013-12-12 09:06:18 UTC 2013-12-12	9. * New upstream release * Debhelper co... Author: Stéphane Glondu Revision Date: 2013-12-12 09:06:18 UTC * New upstream release * Debhelper compat level 9 * Update Vcs-*