Accepted coq 8.1~gamma-3 (source i386 all)

[Samuel Mimram <smimram@debian.org>]

-----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 <smimram@debian.org>
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