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

[Samuel Mimram <smimram@debian.org>]

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

Format: 1.7
Date: Tue, 24 Apr 2007 14:46:59 +0000
Source: coq
Binary: coqide coq-libs coq
Architecture: source i386 all
Version: 8.1+dfsg-4
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-4) unstable; urgency=low
 .
   * Correctly set Coq_config.best when rebuilding in byte mode.
   * Removed tetex-extra from build-dependencies.
Files: 
 2e11ed265fa50b1f56a03728532e6a46 1079 math optional coq_8.1+dfsg-4.dsc
 f25afce574db7f7b25bb59f5eb73d68e 14623 math optional coq_8.1+dfsg-4.diff.gz
 e6b59e6a165943b5a2196c85bb1099cb 14797004 math optional coq-libs_8.1+dfsg-4_all.deb
 250f5e04b9cf4918728ab2cf8ed246e0 7437506 math optional coq_8.1+dfsg-4_i386.deb
 c0d70feb9d603f446ac757159276536c 4642618 math optional coqide_8.1+dfsg-4_i386.deb

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

iD4DBQFGLnZEIae1O4AJae8RAnLUAJMGqrSX5FZ2+AykDeXSU6bEmhXVAJ4vYdtv
rqGPccHU6j3pKY9WgvwOHA==
=+HHi
-----END PGP SIGNATURE-----


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