coq 8.1+dfsg-6 source package in Ubuntu
Changelog
coq (8.1+dfsg-6) unstable; urgency=low * Add dependencies on ${misc:Depends}, closes: #431679. -- William Grant <email address hidden> Wed, 11 Jul 2007 13:30:10 +0100
Upload details
- Uploaded by:
- William Grant
- Uploaded to:
- Gutsy
- 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.1+dfsg.orig.tar.gz | 2.4 MiB | 0b9c99c58fcc675e8179546aba17d5c8a596970c240dfa98e31d5da63d40dd73 |
coq_8.1+dfsg-6.diff.gz | 14.4 KiB | 4be889fef974885092565c13aa72e6dd2636b8f9879b8508a78e8348bc83e22f |
coq_8.1+dfsg-6.dsc | 1.1 KiB | b7eaf2bd5ca09dc370117ce5cd8048e40ca0f7176a72bba5b390e3e38068c15f |
Binary packages built by this source
- coq: No summary available for coq in ubuntu hardy.
No description available for coq in ubuntu hardy.
- coq-libs: No summary available for coq-libs in ubuntu hardy.
No description available for coq-libs in ubuntu hardy.
- coqide: No summary available for coqide in ubuntu hardy.
No description available for coqide in ubuntu hardy.