Ubuntu
coq package

coq 8.1.pl3+dfsg-1build1 source package in Ubuntu

Changelog

coq (8.1.pl3+dfsg-1build1) intrepid; urgency=low

  * No change rebuild against Ocaml 3.10.2

 -- Cesare Tirabassi <email address hidden>   Tue, 27 May 2008 13:04:23 +0200

Upload details

Uploaded by:
Cesare Tirabassi
Uploaded to:
Intrepid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
devel
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq_8.1.pl3+dfsg.orig.tar.gz 2.4 MiB 2f306047222e424cad5916f6f57cd21661f22a523afc26dbdcc2cb4d20775dbb
coq_8.1.pl3+dfsg-1build1.diff.gz 15.3 KiB 6b566edecc5c847addd891b435e91783ed98ce8730a206f7ff9be956455ac76e
coq_8.1.pl3+dfsg-1build1.dsc 925 bytes b49d0b39b9b6915bbd4ba71a5323f733fd57817abcf12c0fc8b0b3b991f4ce57

View changes file

Binary packages built by this source

coq: No summary available for coq in ubuntu karmic.

No description available for coq in ubuntu karmic.

coq-libs: No summary available for coq-libs in ubuntu jaunty.

No description available for coq-libs in ubuntu jaunty.

coqide: No summary available for coqide in ubuntu jaunty.

No description available for coqide in ubuntu jaunty.