Accepted coq 8.0pl2-4 (source)

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

Origin: Debian/unstable
Format: 1.7
Date: Wed,  23 Nov 2005 15:10:51 +0000
Source: coq
Binary: coq7-libs, coq, coq-libs, coqide
Architecture: source
Version: 8.0pl2-4
Distribution: dapper
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Ubuntu Archive Auto-Sync <katie at jackass.ubuntu.com>
Description: 
 coq        - proof assistant for higher-order logic (toplevel and compiler)
Closes: 340185
Changes: 
 coq (8.0pl2-4) unstable; urgency=low
 .
   * Added ocaml309.dpatch patch to compile cleanly with OCaml 3.09,
     closes: #340185.
   * Removed recommends on coq-doc which is not in main anymore.
   * Updated standards version to 3.6.2, no changes needed.
Files: 
 a7dcfd2964389244aa641320a886f260 12018 math optional coq_8.0pl2-4.diff.gz
 46c3f97cff31d2d0c001611ed06973b3 882 math optional coq_8.0pl2-4.dsc
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)

iQEVAwUBQ4SGewF4adwMEr3XAQIk/gf/Td1jgWCcApNoLQlwBF1OIYaoYiNUPl0R
HAecTBP6tiDq9x8ionQBdwO69ENSITLQ0T3ryqZSkig97s5k4vsVKfTB4Vs/uFWT
JSZZvJzGWeX0fqylzegxEtCv252p2ILesUMe30bC+0Ic4/145GsKkR7Ll8970uH6
WlWduq2qigtDalXGMFhll+wlXqgDuY0xeaRCdB2odXSAlkMeXWw7UP+0WAY179A0
KVEuEujvzpCXWr6dcEDZKQ+JxcRzLra402XWPc1c3tevWQIy3df5s0nLwoW19e2t
CcHYW5amWGP+SG59Qmx0DFlTWfArRXYQkSni+FDPRHYNRuRppucj9w==
=YwPO
-----END PGP SIGNATURE-----


Accepted:
coq_8.0pl2-4.diff.gz
  to pool/universe/c/coq/coq_8.0pl2-4.diff.gz
coq_8.0pl2-4.dsc
  to pool/universe/c/coq/coq_8.0pl2-4.dsc