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

[Samuel Mimram <smimram@debian.org>]

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

Format: 1.7
Date: Thu, 27 Apr 2006 13:43:16 +0000
Source: coq
Binary: coqide coq-libs coq
Architecture: source i386 all
Version: 8.0pl3+8.1alpha-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)
Changes: 
 coq (8.0pl3+8.1alpha-1) experimental; urgency=low
 .
   * New upstream release.
   * No longer providing the compatibility coq7-libs package.
   * coq-libs is now providing its documentation in html format.
   * Added browser.dpatch to use the default Debian browser for help.
   * Disabling checks which don't succeed for now: failing_tests.dpatch.
   * Removed coq-8.0pl3-ocaml-3.09.dpatch.
Files: 
 4e0b7814cee72d89b7566d367bc1cfed 918 math optional coq_8.0pl3+8.1alpha-1.dsc
 287145b83972174b311cb1982192ec01 2705212 math optional coq_8.0pl3+8.1alpha.orig.tar.gz
 3d8d82288b3bda3ede9af15c7c48e94e 13786 math optional coq_8.0pl3+8.1alpha-1.diff.gz
 f0c5c99b43db2d5feb08fc86a8da5457 7137412 math optional coq-libs_8.0pl3+8.1alpha-1_all.deb
 5a6959ef58bd76ca9d2522382e961fce 6340808 math optional coq_8.0pl3+8.1alpha-1_i386.deb
 4e059bb975a960df9f6f85dd2bb4dd0d 4370660 math optional coqide_8.0pl3+8.1alpha-1_i386.deb

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

iD8DBQFEU5U3Iae1O4AJae8RAh+OAJ9dnFMJxoIxo/dOQ8/yIJBR5Y5leQCeKoPU
tIwJatypVWReU+uF9lB7LKg=
=Gp/L
-----END PGP SIGNATURE-----


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