Accepted coq 8.1.pl1+dfsg-1 (source all i386)

[Samuel Mimram <smimram@debian.org>]

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

Format: 1.7
Date: Sat, 18 Aug 2007 20:59:45 +0200
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1.pl1+dfsg-1
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.pl1+dfsg-1) unstable; urgency=low
 .
   * New upstream release.
Files: 
 ccbcdbaa8007d975ada5bf0d6a218833 1091 math optional coq_8.1.pl1+dfsg-1.dsc
 4185b967443cc2354a52a710eac481f5 2521668 math optional coq_8.1.pl1+dfsg.orig.tar.gz
 274748c58f07f906b7623910d3577cce 14895 math optional coq_8.1.pl1+dfsg-1.diff.gz
 eb538f891e02947d9526b84b4a1c6b8b 12657714 math optional coq-libs_8.1.pl1+dfsg-1_all.deb
 72ab0f499752695d789326a9cf988b77 7504550 math optional coq_8.1.pl1+dfsg-1_i386.deb
 f0dc86044f31eaa573bd8166c8deb2df 4687284 math optional coqide_8.1.pl1+dfsg-1_i386.deb

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

iD8DBQFGx1hGIae1O4AJae8RAjRSAJ9IUiBFXm9a/p9YyJ2XqVCGmLof9ACfZLE4
yFE+VidqM1ePtNUXXYTi5v4=
=C93m
-----END PGP SIGNATURE-----


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