coq 8.3.pl2+dfsg-1 source package in Ubuntu
Changelog
coq (8.3.pl2+dfsg-1) unstable; urgency=low
* New upstream release
* Add patch to fix thumb2-related build error (Closes: #622882)
* Upload to unstable
coq (8.3.pl1+dfsg-2) experimental; urgency=low
* Set and check COQ_VERSION used to compute COQ_ABI in debian/rules
coq (8.3.pl1+dfsg-1) experimental; urgency=low
* New upstream release
- remove all patches (applied upstream)
* debian/rules:
- run test-suite in override_dh_auto_test, skip coqchk run
- make "build" explicitly a phony target
* Update copyright file
* Fix installation of emacs files
* Install plugins in new binary package libcoq-ocaml
* Bump Standards-Version to 3.9.1 (no changes)
coq (8.2.pl2+dfsg-2) unstable; urgency=low
* Add Fix-build-with-camlp5-6.02.1.patch
* Bump versioned build-dependency on liblablgtk2-ocaml-dev to ease
lablgtk2 transition
-- Colin Watson <email address hidden> Thu, 19 May 2011 14:21:39 +0000
Upload details
- Uploaded by:
- Colin Watson
- Uploaded to:
- Oneiric
- 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.3.pl2+dfsg.orig.tar.gz | 3.0 MiB | 7f4a1d846bc02a4403a5b2aa7977313dde9032e88684d510e9ffb42062d384cb |
| coq_8.3.pl2+dfsg-1.debian.tar.gz | 15.8 KiB | 6ebb08c91c203946fbbbf3489d7ab566c367d6dcbc5cbb101af25aa2cb777f7b |
| coq_8.3.pl2+dfsg-1.dsc | 2.1 KiB | 7d65e81d24815945fd9d4f91587678ec589780dbd17e4363c79faea51cb5bbc4 |
Available diffs
Binary packages built by this source
- coq: No summary available for coq in ubuntu oneiric.
No description available for coq in ubuntu oneiric.
- coq-theories: No summary available for coq-theories in ubuntu oneiric.
No description available for coq-theories in ubuntu oneiric.
- coqide: No summary available for coqide in ubuntu oneiric.
No description available for coqide in ubuntu oneiric.
- libcoq-ocaml: No summary available for libcoq-ocaml in ubuntu oneiric.
No description available for libcoq-ocaml in ubuntu oneiric.
- libcoq-ocaml-dev: No summary available for libcoq-ocaml-dev in ubuntu oneiric.
No description available for libcoq-ocaml-dev in ubuntu oneiric.
