Accepted coq 8.1.pl2+dfsg-3 (source all i386)

[Samuel Mimram <smimram@debian.org>]

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

Format: 1.7
Date: Thu, 29 Nov 2007 13:59:01 +0000
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1.pl2+dfsg-3
Distribution: unstable
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: 435023 452572
Changes: 
 coq (8.1.pl2+dfsg-3) unstable; urgency=low
 .
   * Added check.dpatch to remove warnings which made some tests erroneously
     fail, closes: #452572.
   * Added a dependency from coq to emacsen-common, closes: #435023.
Files: 
 c7853f36ba09fda314dff8382fe6edaf 1064 math optional coq_8.1.pl2+dfsg-3.dsc
 4e89bc08cafa98f36c8b244fdbce9613 15444 math optional coq_8.1.pl2+dfsg-3.diff.gz
 cd3fb9d5b31094ab16f8784774b7b71a 12593120 math optional coq-libs_8.1.pl2+dfsg-3_all.deb
 bfed0318d8c8b694e59d0a6f287c6a69 7781132 math optional coq_8.1.pl2+dfsg-3_i386.deb
 ef442f5967908be0062c6c32ceb7d001 4904856 math optional coqide_8.1.pl2+dfsg-3_i386.deb

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

iD8DBQFHTtIgIae1O4AJae8RAgKtAJ9Zid67Iy0+gpY9i4kGg++Zzs6V3wCfWmNW
mX68kgQS4LWUIkMKmU+gi3s=
=jg28
-----END PGP SIGNATURE-----


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