Accepted coq 8.0pl3+8.1alpha-2 (source i386 all)

[Samuel Mimram <smimram@debian.org>]

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

Format: 1.7
Date: Sun, 30 Apr 2006 11:51:57 +0000
Source: coq
Binary: coqide coq-libs coq
Architecture: source i386 all
Version: 8.0pl3+8.1alpha-2
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)
Changes: 
 coq (8.0pl3+8.1alpha-2) experimental; urgency=low
 .
   * Added makefile.dpatch in order for ocamlopt not to be called when
     compiling on non-native archs.
   * Do not build the pdf documentation for the library since we don't ship it.
     This will avoid the FTBFS because of missing LaTeX fonts.
Files: 
 67e237631d42ce145d40980773c453ab 907 math optional coq_8.0pl3+8.1alpha-2.dsc
 c17f9a74d3efdd8460b22c97ff8f9868 14135 math optional coq_8.0pl3+8.1alpha-2.diff.gz
 3ca3c5295f8125a39a13054c26d0293c 7137464 math optional coq-libs_8.0pl3+8.1alpha-2_all.deb
 0fd0073206bc34173effc5eb8c8fedf3 6340914 math optional coq_8.0pl3+8.1alpha-2_i386.deb
 67590937fe46548bfe780a0a6836d249 4370746 math optional coqide_8.0pl3+8.1alpha-2_i386.deb

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

iD8DBQFEVMsfIae1O4AJae8RAtxEAJ9DHMlJESxHr8sIaEx5mnCPrzq8XgCfWnDp
rsvEiDqdzi8+69/wdEUxMr0=
=J4US
-----END PGP SIGNATURE-----


Accepted:
coq-libs_8.0pl3+8.1alpha-2_all.deb
  to pool/main/c/coq/coq-libs_8.0pl3+8.1alpha-2_all.deb
coq_8.0pl3+8.1alpha-2.diff.gz
  to pool/main/c/coq/coq_8.0pl3+8.1alpha-2.diff.gz
coq_8.0pl3+8.1alpha-2.dsc
  to pool/main/c/coq/coq_8.0pl3+8.1alpha-2.dsc
coq_8.0pl3+8.1alpha-2_i386.deb
  to pool/main/c/coq/coq_8.0pl3+8.1alpha-2_i386.deb
coqide_8.0pl3+8.1alpha-2_i386.deb
  to pool/main/c/coq/coqide_8.0pl3+8.1alpha-2_i386.deb