Accepted coq 8.1+dfsg-2 (source all i386)

[Samuel Mimram <smimram@debian.org>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Sun, 18 Mar 2007 13:21:56 +0100
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1+dfsg-2
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: 415867
Changes: 
 coq (8.1+dfsg-2) experimental; urgency=low
 .
   * Added cmxa-install.dpatch to install cmxa only on native archs,
     closes: #415867.
   * Added configure.dpatch for the configure to correctly detect whether
     ocamlopt is present or not.
   * Use dh_installtex instead of hand-crafted postinst.
Files: 
 6a72e6a178e0e7597f70cbc541cdb7ea 1093 math optional coq_8.1+dfsg-2.dsc
 470e51ca0e3efd6134e5bd74d25b1f21 14576 math optional coq_8.1+dfsg-2.diff.gz
 de4c89d147184c87e04438fcb5805ef3 14796926 math optional coq-libs_8.1+dfsg-2_all.deb
 13a256535499b2e02f342e19794b8b18 7437820 math optional coq_8.1+dfsg-2_i386.deb
 37f89a4b21d42c73ddcb1fbcb56fb1d3 4642524 math optional coqide_8.1+dfsg-2_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFGBRAmIae1O4AJae8RAhgTAJ4hWjL5Mh/39aWGXHCuTI7WZukTjQCeJPuQ
QLwrjr8nMMWUkfGw7tN7k50=
=hgBA
-----END PGP SIGNATURE-----


Accepted:
coq-libs_8.1+dfsg-2_all.deb
  to pool/main/c/coq/coq-libs_8.1+dfsg-2_all.deb
coq_8.1+dfsg-2.diff.gz
  to pool/main/c/coq/coq_8.1+dfsg-2.diff.gz
coq_8.1+dfsg-2.dsc
  to pool/main/c/coq/coq_8.1+dfsg-2.dsc
coq_8.1+dfsg-2_i386.deb
  to pool/main/c/coq/coq_8.1+dfsg-2_i386.deb
coqide_8.1+dfsg-2_i386.deb
  to pool/main/c/coq/coqide_8.1+dfsg-2_i386.deb