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

[Samuel Mimram <smimram@debian.org>]

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

Format: 1.7
Date: Mon, 15 Oct 2007 18:55:09 +0000
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1.pl2+dfsg-1
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: 446170
Changes: 
 coq (8.1.pl2+dfsg-1) experimental; urgency=low
 .
   * New upstream release.
   * Removed camlp5.dpatch, integrated upstream.
   * Updated browser.dpatch, coqdoc_stdlib.dpatch and makefile.dpatch.
   * Corrected emacs-mode startup file, closes: #446170.
   * Removed Sven Luther from uploaders.
Files: 
 d74467e3561d9ce6f01c0a918eb8d2b9 1064 math optional coq_8.1.pl2+dfsg-1.dsc
 7fefdeb0c55cbf9668b7bb9ba2a4a0db 2526089 math optional coq_8.1.pl2+dfsg.orig.tar.gz
 e41f92555929766a03534430d965930a 15078 math optional coq_8.1.pl2+dfsg-1.diff.gz
 1caa8f45479cfd1245048bc2bac0438e 12593252 math optional coq-libs_8.1.pl2+dfsg-1_all.deb
 3f71045cbb6b7d732a2c76efeec2cb81 7758514 math optional coq_8.1.pl2+dfsg-1_i386.deb
 25e5c45f687fac6e6b8b290c304588d3 4892854 math optional coqide_8.1.pl2+dfsg-1_i386.deb

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

iD8DBQFHE8WQIae1O4AJae8RAlzIAJ9WeowmJ84Kg5MaSQdFetN5Che43QCeNSuG
7+VqaXH32pngiyvzsEX3IF8=
=KlmU
-----END PGP SIGNATURE-----


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