coq 8.2.pl1+dfsg-6 source package in Debian
Changelog
coq (8.2.pl1+dfsg-6) unstable; urgency=low * Add Disable-micromega-tests.patch (workaround for bug #570920) -- Stéphane Glondu <email address hidden> Mon, 22 Feb 2010 10:41:15 +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-6.dsc | 2.2 KiB | 273fac97c44e7b93b22753016168f70ab16b1dda1e35e33e4bd949a60bd5de96 |
coq_8.2.pl1+dfsg.orig.tar.gz | 3.0 MiB | 297c729570d923964c66926e1e66bd9845a640d4b80aaeea524e30a382c5aad3 |
coq_8.2.pl1+dfsg-6.diff.gz | 15.3 KiB | 13edbee649f0b6f6c0ed69a008f47ce3bc46cb04c1e9da5f8c9df723f1ea6b83 |
No changes file available.