coq 8.2.pl1+dfsg-4 source package in Debian
Changelog
coq (8.2.pl1+dfsg-4) unstable; urgency=low [ Stefano Zacchiroli ] * debian/control: fix typo in long description (Closes: #557458) [ Stéphane Glondu ] * Switch to dh-ocaml 0.9 -- Stéphane Glondu <email address hidden> Thu, 03 Dec 2009 11:54:58 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq_8.2.pl1+dfsg-4.dsc | 2.2 KiB | 951f4b42bd6803bf9fcd50a7956e09b77546ea3c58d04091f85653929092ff4f |
coq_8.2.pl1+dfsg.orig.tar.gz | 3.0 MiB | 297c729570d923964c66926e1e66bd9845a640d4b80aaeea524e30a382c5aad3 |
coq_8.2.pl1+dfsg-4.diff.gz | 15.0 KiB | 9b264f09b18e3b63d35e0e599f7280892968bf7e1676bed7b0b86280727d0be5 |
No changes file available.