Ubuntu
coq package

coq 8.3.pl4+dfsg-2 source package in Ubuntu

Changelog

coq (8.3.pl4+dfsg-2) unstable; urgency=low


  * Recompile with camlp5 6.06 (no changes)

 -- Stéphane Glondu <email address hidden>  Wed, 06 Jun 2012 07:35:26 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any all
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq_8.3.pl4+dfsg-2.dsc 2.3 KiB e59f9eb3443dd2fe0ae548b031bc9aa68f5c7de8cd1aaf0d952a0ef68c2439f6
coq_8.3.pl4+dfsg.orig.tar.gz 3.0 MiB ebb517485af17302df9d76c7b7fd2257bf792352030f0b919638ad4515975bed
coq_8.3.pl4+dfsg-2.debian.tar.gz 15.9 KiB 04c15327ca6d4e4cadba908d0d075f5030d82d9c9c9f7efe5bbb04187f651a4e

No changes file available.

Binary packages built by this source

coq: No summary available for coq in ubuntu raring.

No description available for coq in ubuntu raring.

coq-theories: No summary available for coq-theories in ubuntu quantal.

No description available for coq-theories in ubuntu quantal.

coqide: No summary available for coqide in ubuntu quantal.

No description available for coqide in ubuntu quantal.

libcoq-ocaml: No summary available for libcoq-ocaml in ubuntu saucy.

No description available for libcoq-ocaml in ubuntu saucy.

libcoq-ocaml-dev: No summary available for libcoq-ocaml-dev in ubuntu quantal.

No description available for libcoq-ocaml-dev in ubuntu quantal.