Ubuntu
coq package

Branches for Hardy

Name		Status	Last Modified	Last Commit
lp://staging/ubuntu/hardy/coq		2 Mature	2009-07-30 19:56:16 UTC 2009-07-30	12. [ Stefano Zacchiroli ] * fix vcs-svn ... Author: Samuel Mimram Revision Date: 2008-01-04 13:21:43 UTC [ Stefano Zacchiroli ] * fix vcs-svn field to point just above the debian/ dir [ Samuel Mimram ] * New upstream release. * Makefile should now be compatible with dash, closes: #459050. * Updated watch file.