coq 8.2.pl1+dfsg-2 source package in Ubuntu
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
coq (8.2.pl1+dfsg-1) unstable; urgency=low
* New Upstream Version
* debian/purify_tarball: keep some files from doc/common/styles/html
needed for HTML API doc generation
coq (8.2-1+dfsg-2) unstable; urgency=low
[ Samuel Mimram ]
* Remove upstream url from long descriptions since we already use the
Homepage field, closes: #524037.
* Updated watch file.
[ Stephane Glondu ]
* Remove suggestion on package cle (which has been removed), use
readline-editor instead
* Recompile with OCaml 3.11.1 (Closes: #535320)
* Add versioned dependencies to camlp5 and liblablgtk2-ocaml-dev to
ease OCaml 3.11.1 transition
* Move libcoq-ocaml-dev to section ocaml
* Update Standards-Version to 3.8.2
-- David MENTR? <email address hidden> Tue, 28 Jul 2009 18:12:34 +0100
Upload details
- Uploaded by:
- David MENTRÉ
- Uploaded to:
- Karmic
- 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.pl1+dfsg.orig.tar.gz | 3.0 MiB | 297c729570d923964c66926e1e66bd9845a640d4b80aaeea524e30a382c5aad3 |
| coq_8.2.pl1+dfsg-2.diff.gz | 14.2 KiB | 9891711854f70bdcb84a833ce201747419357eed4edabe1fa08b4ae16bc476ef |
| coq_8.2.pl1+dfsg-2.dsc | 1.6 KiB | 3297ac0240af8469ec9304e3a59e22e316897414ed9470f607e404d4d4f17bbb |
Available diffs
- diff from 8.2-1+dfsg-1 to 8.2.pl1+dfsg-2 (53.1 KiB)
Binary packages built by this source
- coq: No summary available for coq in ubuntu lucid.
No description available for coq in ubuntu lucid.
- coq-theories: No summary available for coq-theories in ubuntu karmic.
No description available for coq-theories in ubuntu karmic.
- coqide: No summary available for coqide in ubuntu karmic.
No description available for coqide in ubuntu karmic.
- libcoq-ocaml-dev: No summary available for libcoq-ocaml-dev in ubuntu lucid.
No description available for libcoq-ocaml-dev in ubuntu lucid.
