coq 8.2.pl1+dfsg-2 source package in Debian
Changelog
coq (8.2.pl1+dfsg-2) unstable; urgency=low
* During validation of stdlib, call coqchk without -silent to avoid
timeout on buildds because of lack of output
-- Stephane Glondu <email address hidden> Sun, 05 Jul 2009 12:51:15 +0200
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-2.dsc | 1.6 KiB | 3297ac0240af8469ec9304e3a59e22e316897414ed9470f607e404d4d4f17bbb |
| coq_8.2.pl1+dfsg.orig.tar.gz | 3.0 MiB | 297c729570d923964c66926e1e66bd9845a640d4b80aaeea524e30a382c5aad3 |
| coq_8.2.pl1+dfsg-2.diff.gz | 14.2 KiB | 9891711854f70bdcb84a833ce201747419357eed4edabe1fa08b4ae16bc476ef |
No changes file available.
