Debian
coq-float package

Branches for Lenny

Name		Status	Last Modified	Last Commit
lp:debian/lenny/coq-float		2 Mature	2009-08-15 07:40:39 UTC 2009-08-15	4. [ Stefano Zacchiroli ] * add vcs-* fi... Author: Samuel Mimram Revision Date: 2008-01-19 16:52:13 UTC [ Stefano Zacchiroli ] * add vcs-* fields [ Samuel Mimram ] * Rebuild with latest version of coq.