-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 7 Oct 2003 22:11:31 +0200
Source: coq
Binary: coq
Architecture: source i386
Version: 7.3.1-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
coq - Proof assistant for higher-order logic
Changes:
coq (7.3.1-2) unstable; urgency=low
.
* Standards-Version 3.6.1.
* File debian/compat instead of variable DH_COMPAT.
* Build with ocaml-3.07.
* Maintainers: debian-ocaml-maint, Uploaders: The Ocaml Gang.
* Switch to dpatch system:
- 01_ocaml307: patch by Hugo Herbelin (thanks!) for compilation with
ocaml 3.07.
* Removed timeout crutch which used to be necessary for ocaml 3.04.
* Removed forcing of byte compilation on ppc.
* debian/rules: some cosmetic changes.
* Short description: capitalize first letter, drop terminal dot.
Files:
1c93afaa57387808427117cbf9559bb1 777 devel optional coq_7.3.1-2.dsc
c99f796b605c0b5bb14c4315e9ad6b7d 8395 devel optional coq_7.3.1-2.diff.gz
e17ab481d0b2c62471358710d97af744 7516164 devel optional coq_7.3.1-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.3 (GNU/Linux)
iD8DBQE/gx+4tzWmSeC6BMERAmnMAKCccIUWdEIM4QCl7D3iAoXAqwxU/QCeIE8P
PKih10gKP4W4xSgUyb9KWYw=
=wS4O
-----END PGP SIGNATURE-----
Accepted:
coq_7.3.1-2.diff.gz
to pool/main/c/coq/coq_7.3.1-2.diff.gz
coq_7.3.1-2.dsc
to pool/main/c/coq/coq_7.3.1-2.dsc
coq_7.3.1-2_i386.deb
to pool/main/c/coq/coq_7.3.1-2_i386.deb
--
To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
