Ubuntu
coq package

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

Changelog

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

  [ Stefano Zacchiroli ]
  * fix vcs-svn field to point just above the debian/ dir

  [ Samuel Mimram ]
  * New upstream release.
  * Makefile should now be compatible with dash, closes: #459050.
  * Updated watch file.

 -- Michael Bienia <email address hidden>   Mon,  07 Jan 2008 20:06:41 +0000

Upload details

Uploaded by:
Michael Bienia
Uploaded to:
Hardy
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-1.diff.gz 15.2 KiB 8ddef42ac6cb4a4141c673142e37fdd2a7a9dedba6c7e4173512bacde635a17f
coq_8.1.pl3+dfsg-1.dsc 1.0 KiB eabc55d6d7b7dfcbf48dcfad50a3f16359d5301e3d6c99adc239e788e99c5c32

View changes file

Binary packages built by this source

coq: No summary available for coq in ubuntu intrepid.

No description available for coq in ubuntu intrepid.

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

No description available for coq-libs in ubuntu intrepid.

coqide: No summary available for coqide in ubuntu hardy.

No description available for coqide in ubuntu hardy.