coq 8.0pl3-2 source package in Ubuntu
Changelog
coq (8.0pl3-2) unstable; urgency=low
* Added coq-8.0pl3-ocaml-3.09.dpatch in order to prevent intuition from
looping forever, closes: #353493.
coq (8.0pl3-1) unstable; urgency=low
* New upstream release.
* Removed unnecessary dependency on liblablgtk2-ocaml for coqide.
* Removed ocaml309.dpatch and text_view_typing_error.dpatch, integrated
upstream.
* Removing rpath from coqide binaries.
-- Ubuntu Archive Auto-Sync <email address hidden> Thu, 15 Jun 2006 13:32:50 +0100
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Edgy
- 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.0pl3.orig.tar.gz | 2.2 MiB | 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c |
| coq_8.0pl3-2.diff.gz | 15.9 KiB | 4d92c6251b5318cae1489cb083be97ee38fcd9ba6009228ed717e035fe329bf5 |
| coq_8.0pl3-2.dsc | 891 bytes | e076f3fd5ffab1f602fa035a9aaccd1a2c9c5975b8d7af31bf792d87a12c63fe |
Binary packages built by this source
- coq: No summary available for coq in ubuntu feisty.
No description available for coq in ubuntu feisty.
- coq-libs: No summary available for coq-libs in ubuntu feisty.
No description available for coq-libs in ubuntu feisty.
- coq7-libs: No summary available for coq7-libs in ubuntu feisty.
No description available for coq7-libs in ubuntu feisty.
- coqide: No summary available for coqide in ubuntu edgy.
No description available for coqide in ubuntu edgy.
