coq 8.2.pl2+dfsg-1 source package in Ubuntu
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)
-- Iain Lane <email address hidden> Fri, 02 Jul 2010 15:25:15 +0200
Upload details
- Uploaded by:
- Iain Lane
- Uploaded to:
- Maverick
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- devel
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| 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 |
| coq_8.2.pl2+dfsg-1.dsc | 1.5 KiB | cb97d1bf0eae64742aa83f62843950b3d4a31352177c915a21c771d93a839fbd |
Available diffs
- diff from 8.2.pl1+dfsg-6 to 8.2.pl2+dfsg-1 (36.9 KiB)
Binary packages built by this source
- coq: No summary available for coq in ubuntu maverick.
No description available for coq in ubuntu maverick.
- coq-theories: No summary available for coq-theories in ubuntu maverick.
No description available for coq-theories in ubuntu maverick.
- coqide: No summary available for coqide in ubuntu maverick.
No description available for coqide in ubuntu maverick.
- libcoq-ocaml-dev: No summary available for libcoq-ocaml-dev in ubuntu maverick.
No description available for libcoq-ocaml-dev in ubuntu maverick.
