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

[Samuel Mimram <smimram@debian.org>]

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

Format: 1.7
Date: Fri, 16 Nov 2007 19:20:24 +0000
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1.pl2+dfsg-2
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)
Changes: 
 coq (8.1.pl2+dfsg-2) unstable; urgency=low
 .
   * Upload to unstable.
Files: 
 af2a57a09ab532be0fd883e73ac1a2f9 1064 math optional coq_8.1.pl2+dfsg-2.dsc
 d8840cecb6ca1155b7a5ddddc4ef3701 15103 math optional coq_8.1.pl2+dfsg-2.diff.gz
 0e9d63283fe36556b2f8ad61d7ecc174 12593274 math optional coq-libs_8.1.pl2+dfsg-2_all.deb
 73730cade6c5e00bdbb82f4c8ebbd5f9 7758538 math optional coq_8.1.pl2+dfsg-2_i386.deb
 4b8086dced5d03b886e6e47031d5e10a 4892846 math optional coqide_8.1.pl2+dfsg-2_i386.deb

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

iD8DBQFHPfSEIae1O4AJae8RAtdSAJ0VML6sFjr9c15WTdEPeAZAdrqawQCfZhBA
RFZxRSqEm5E+Vn8faE8yFag=
=w33i
-----END PGP SIGNATURE-----


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