[ubuntu/precise] coq 8.3.pl2+dfsg-2build2 (Accepted)

[Colin Watson]

coq (8.3.pl2+dfsg-2build2) precise; urgency=low

  * Rebuild for OCaml 3.12.1.

Date: Sat, 19 Nov 2011 13:26:01 +0000
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/precise/+source/coq/8.3.pl2+dfsg-2build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 19 Nov 2011 13:26:01 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.3.pl2+dfsg-2build2
Distribution: precise
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Description: 
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 coq-theories - proof assistant for higher-order logic (theories)
 coqide     - proof assistant for higher-order logic (gtk interface)
 libcoq-ocaml - runtime libraries for Coq
 libcoq-ocaml-dev - development libraries and tools for Coq
Changes: 
 coq (8.3.pl2+dfsg-2build2) precise; urgency=low
 .
   * Rebuild for OCaml 3.12.1.
Checksums-Sha1: 
 afee1ca78dfc842266b2ea9df5404fc566f428fc 2425 coq_8.3.pl2+dfsg-2build2.dsc
 813e59b107cd9b4c7fbce5340ee2caf3a642c0f5 16476 coq_8.3.pl2+dfsg-2build2.debian.tar.gz
Checksums-Sha256: 
 19b192c8502d99b6a340cdaf8533afe1f26f3b9d54841d1c973a9fe5eee5c93c 2425 coq_8.3.pl2+dfsg-2build2.dsc
 68ea96962e26bbd459be6559a82e432b450f7595c86f74922da9dc3a4c1e1626 16476 coq_8.3.pl2+dfsg-2build2.debian.tar.gz
Files: 
 119652c7a42802cf754eac9c9088a88f 2425 math optional coq_8.3.pl2+dfsg-2build2.dsc
 e8fb44a4c7665c5af106eb0fdbfc8b63 16476 math optional coq_8.3.pl2+dfsg-2build2.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Colin Watson <cjwatson at debian.org> -- Debian developer

iQIVAwUBTseucjk1h9l9hlALAQjO0RAAjyy2pUDlLxr6ta2UstOhtgi3FGr5IMvl
BvCXySTst6jmTmkoUUoZRNMM0cjC+dLvqBHMNH78zSxW/LhAtUK+BHK2c000JJdw
pPX+P4yRJkSD4DmKfKrNDTKov5KRgZ9kLx3Rx6wFLHIqeL0MVja1PweR5SyV6ehr
wBtiwLryvjVP53KdrvCoKycyYzuCHaJ8WZyoHDFskA1O12K70Cy+riGk44ThcQ62
H6mll987eJPC9h73o8jNgy6Czjsda2yrAwQxXB+SkpcicO2lXYC9g41JqII8ilhw
toLIAxHdKGsEkrVqknv2L04qMfUNYgX/Pkoz6iFwxt1R6l+v3vBc+rEYZk4xVgO4
rbuTCV+jirz5btATtEmfdaWrqDxd2fGVZhuQGDBAjgcEj7zKppcVC7Z9sk3a/9+T
YrA6uPsmClSl2+OzfZ/Dtom9SL5Fj2mkxpuDV3JwKUn1BDkvxD/KghJmGdcGUECh
S/HOOF5UqvB9gkSs+o6DjACFCnOndhh8dZzSRwHUwW2MzKGSbUtISbz65reuHJLN
TPVBfvVWJZIORRqIaRZz64LWCvugfXIog9p65uRSfxKmt0yv9UbIPNL52NesNfFP
ccviq7iUFfhyzFdp/Ifko+fykDe0c7lDX6x0/qxkjedMYQgXk/RrkErmgn1m5wjA
ZoGYS7uMEfU=
=LLu5
-----END PGP SIGNATURE-----