coq 8.2-1+dfsg-1 source package in Debian
Changelog
coq (8.2-1+dfsg-1) unstable; urgency=low
* New Upstream Version
* Use variables and ocamlinit rule from dh-ocaml in rules
* Added coqvars.mk helper for coq-related packages, and remove
/usr/lib/coq/abi (its contents is now it the COQ_ABI variable)
* Remove dependency on dpatch
* Add some missing Conflicts and Replaces in coq and libcoq-ocaml-dev
(Closes: #517107)
* Add missing dependency for coqide.byte (no longer compiled in
custom mode): liblablgtk2-ocaml
* Rebuild with OCaml 3.11
-- Stephane Glondu <email address hidden> Fri, 27 Feb 2009 13:31:30 +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-1+dfsg-1.dsc | 1.6 KiB | 32ac8f4e3b279c628ea376b354b9da7abdc21c3af35f976b4d19d172cf0da499 |
| coq_8.2-1+dfsg.orig.tar.gz | 3.0 MiB | acf410135156f70890955828daa132f8c13da33d2476adb5f880b45814887bd4 |
| coq_8.2-1+dfsg-1.diff.gz | 13.7 KiB | a8b0dfd2aad2837faf44908d1fb7e7565d01c7855747dca532ee040a5929d0b9 |
No changes file available.
