coq 8.2.pl2+dfsg-1ubuntu1 source package in Ubuntu
Changelog
coq (8.2.pl2+dfsg-1ubuntu1) maverick; urgency=low * Do not hardcode register names for thumb mode on armel. LP: #636229 . -- Matthias Klose <email address hidden> Sat, 18 Sep 2010 18:24:09 +0200
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Maverick
- 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.pl2+dfsg.orig.tar.gz | 3.0 MiB | a731c1313a3a124f95d8b54842553b9bef6ef30beaf19de2afc2a11429d14780 |
coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz | 16.9 KiB | d2070d9587f803f226f3417d2ac1d916ea758fd372313c82f3094740fec9e92d |
coq_8.2.pl2+dfsg-1ubuntu1.dsc | 1.5 KiB | 0bb909ac9fe0a9e577326b280d3c5769d82d5a9e33f4b84c54b6b0342687ac3c |
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 natty.
No description available for coq-theories in ubuntu natty.
- coqide: No summary available for coqide in ubuntu maverick.
No description available for coqide in ubuntu maverick.
- libcoq-ocaml-dev: No summary available for libcoq-ocaml-dev in ubuntu oneiric.
No description available for libcoq-ocaml-dev in ubuntu oneiric.