-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Sun, 4 Feb 2007 20:38:43 +0100
Source: coq
Binary: coqide coq-libs coq
Architecture: source i386 all
Version: 8.1~gamma-3
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <[EMAIL PROTECTED]>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
Closes: 409027
Changes:
coq (8.1~gamma-3) experimental; urgency=low
.
* Added next-ia64.dpatch to fix the FTBFS on ia64.
* Correctly install coqdoc.sty, closes: #409027.
* Build-depend on tetex-extra | texlive-latex-extra in order to allow
building with texlive.
Files:
d8167b267bcf3ee8f42735f3387bbe7d 945 math optional coq_8.1~gamma-3.dsc
3046d79a02d370f9ef4c23ba5a7274de 14143 math optional coq_8.1~gamma-3.diff.gz
e5d54a375fc05e30a21037ba19373cf5 14581010 math optional
coq-libs_8.1~gamma-3_all.deb
a93efb77dc77c4bf786419d5ec809f3b 6306992 math optional coq_8.1~gamma-3_i386.deb
d5bbf58cac0b61fd50b2ba39ffb94da5 4587304 math optional
coqide_8.1~gamma-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFFxkrxIae1O4AJae8RAkcVAJ9EjcLhlA6kelPoL/9Aj6cFvd3JngCfUb2b
8mj13Sm6bj8Y3acK9tP7CbU=
=k6X1
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.1~gamma-3_all.deb
to pool/main/c/coq/coq-libs_8.1~gamma-3_all.deb
coq_8.1~gamma-3.diff.gz
to pool/main/c/coq/coq_8.1~gamma-3.diff.gz
coq_8.1~gamma-3.dsc
to pool/main/c/coq/coq_8.1~gamma-3.dsc
coq_8.1~gamma-3_i386.deb
to pool/main/c/coq/coq_8.1~gamma-3_i386.deb
coqide_8.1~gamma-3_i386.deb
to pool/main/c/coq/coqide_8.1~gamma-3_i386.deb
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
