Accepted coq 8.0pl2-3 (source)

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

Origin: Debian/unstable
Format: 1.7
Date: Tue,  25 Oct 2005 02:09:16 +0100
Source: coq
Binary: coq7-libs, coq, coq-libs, coqide
Architecture: source
Version: 8.0pl2-3
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: 326740
Changes: 
 coq (8.0pl2-3) unstable; urgency=low
 .
   * Added text_view_typing_error patch to avoid a typing error and solve the
     FTBFS, closes: #326740.
   * Added forgotten call to dh_installmenu.
Files: 
 6b7db278bcd6ffe325bcaa95753bda55 884 math optional coq_8.0pl2-3.dsc
 e9adb47ba07f271dd85213033933bf14 11674 math optional coq_8.0pl2-3.diff.gz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)

iQEVAwUBQ12FvAF4adwMEr3XAQIGxAf/SF+3kfgcNSYm1Opj+/iFNgDi7HohA4RG
WSAD+Zu+x2Xb8ofu3QLflb0X6ksv5DUMbHVpV8d8zTtHq2mX+d4J1zp6sPxYZKOD
vUC4eV8/N6uDSbvPFoD6+RYy5VuGOwB6YtlI1mkNlkPp0ZINRC08Sh7eCPzlEMOV
Q24D1P+FgGXRorFVDo2CYy0AlI2WpRF+N5XbHQmXzWDxDJtIzF/04Q+KXBZDYbJi
Brr6s7pjA+JSWFHPyXs+uDP+UyJsocth+MaL2VpDmnLRGXDoyqxwCbbaOJ6czuIQ
OAS09yefUcKd+zVh6h3inXpjCU/Q+qY8aGRKZtUkzUvpNJM+X7ol6Q==
=W1MF
-----END PGP SIGNATURE-----


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