coq source package in Squeeze
Versions published
- Release
-
The package versions that were published when the distribution release was made.
- coq 8.2.pl2+dfsg-1 (main)
coq information
- Current version:
- 8.2.pl2+dfsg-1
- Uploaded:
- Urgency:
- Low Urgency
Upstream connections
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- Bug supervisor:
- Bug tracker:
- Branch:
There are no registered releases for the Coq ⇒ trunk.
Releases in Debian
Binary packages
No binaries have been generated for this release.
Download files from current release (8.2.pl2+dfsg-1)
| File | Size | SHA-256 Checksum |
|---|---|---|
| coq_8.2.pl2+dfsg-1.dsc | 2.1 KiB | 5d760efdb2dc5c08220a3f4140fba30d446ef58322f5923b001313a76909150b |
| coq_8.2.pl2+dfsg.orig.tar.gz | 3.0 MiB | a731c1313a3a124f95d8b54842553b9bef6ef30beaf19de2afc2a11429d14780 |
| coq_8.2.pl2+dfsg-1.debian.tar.gz | 16.4 KiB | 817965fc8e0cffd51495c266dbaecf0d34eb826f64bca420c4825d08e8f329c6 |
Package relationships
Build dependencies |
Platform-independent build dependencies |
Platform-dependent build dependencies |
Build conflicts |
Platform-independent build dependencies |
Platform-dependent build dependencies |
