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

[Samuel Mimram <smimram@debian.org>]

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

Format: 1.7
Date: Mon, 09 Apr 2007 16:48:46 +0200
Source: coq
Binary: coqide coq-libs coq
Architecture: source i386 all
Version: 8.1+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)
Changes: 
 coq (8.1+dfsg-3) unstable; urgency=low
 .
   * Uploading to unstable.
Files: 
 34d73ab09c3c1ca5fd978165fc354017 1093 math optional coq_8.1+dfsg-3.dsc
 73e32169a109406322477ed768b50a04 14613 math optional coq_8.1+dfsg-3.diff.gz
 ee80b11f5aba326a48e613c0580bc3ed 14797028 math optional coq-libs_8.1+dfsg-3_all.deb
 bd846e02cdda500eae4651e16873941b 7437518 math optional coq_8.1+dfsg-3_i386.deb
 b5082bd685629d67039aff61313b9bd5 4642438 math optional coqide_8.1+dfsg-3_i386.deb

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

iD8DBQFGGllFIae1O4AJae8RAn4NAJoC3HncwOFq4jwZuIpVKd38CTkl9ACeJ3dL
5+afAXw6M9MX22dRp045jAI=
=COIf
-----END PGP SIGNATURE-----


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