Ubuntu
coq package

Branches for Trusty

Name		Status	Last Modified	Last Commit
lp:ubuntu/trusty-proposed/coq		2 Mature	2014-01-19 16:16:36 UTC 2014-01-19	22. * New upstream release * Update READM... Author: Stéphane Glondu Revision Date: 2014-01-19 16:16:36 UTC * New upstream release * Update README.Debian (Closes: #680248)
lp:ubuntu/trusty/coq		1 Development	2014-01-19 16:16:36 UTC 2014-01-19	34. * New upstream release * Update READM... Author: Stéphane Glondu Revision Date: 2014-01-19 16:16:36 UTC * New upstream release * Update README.Debian (Closes: #680248)