Debian
coq-float package

Branches for Squeeze

Name		Status	Last Modified	Last Commit
lp:debian/squeeze/coq-float		1 Development	2010-07-03 15:51:20 UTC 2010-07-03	8. * Rebuild with Coq 8.2pl2 * Update de... Author: Stéphane Glondu Revision Date: 2010-07-03 15:51:20 UTC * Rebuild with Coq 8.2pl2 * Update debian/watch * Bump Standards-Version to 3.9.0 (no changes) * Switch source package format to 3.0 (quilt)