coq 8.2.pl2+dfsg-1 source package in Debian
Changelog
coq (8.2.pl2+dfsg-1) unstable; urgency=low * New upstream release - compiles with OCaml 3.12 (Closes: #585452) - remove 0001-Update-for-why-2.19.patch (applied upstream) - add 0002-Remove-dependency-to-Unix-from-module-Profile.patch * Use dh with overrides * debian/control: - remove Stefano and Remi from Uploaders - replace Conflicts with Breaks - bump Standards-Version to 3.9.0 * Switch source package format to 3.0 (quilt) -- Stéphane Glondu <email address hidden> Fri, 02 Jul 2010 15:25: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 | |
---|---|---|---|---|
Squeeze | release | main | math |
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq_8.2.pl2+dfsg-1.dsc | 2.1 KiB | 5d760efdb2dc5c08220a3f4140fba30d446ef58322f5923b001313a76909150b |
coq_8.2.pl2+dfsg.orig.tar.gz | 3.0 MiB | a731c1313a3a124f95d8b54842553b9bef6ef30beaf19de2afc2a11429d14780 |
coq_8.2.pl2+dfsg-1.debian.tar.gz | 16.4 KiB | 817965fc8e0cffd51495c266dbaecf0d34eb826f64bca420c4825d08e8f329c6 |
No changes file available.