Debian
coq package

Branches for Lenny

Name		Status	Last Modified	Last Commit
lp:debian/lenny/coq		2 Mature	2009-07-30 19:49:16 UTC 2009-07-30	5. [ 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.