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

[Colin Watson]

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

  * Rebuild for new camlp5 ABI.

Date: Fri, 11 Nov 2011 13:01:30 +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-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 11 Nov 2011 13:01:30 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.3.pl2+dfsg-2build1
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-2build1) precise; urgency=low
 .
   * Rebuild for new camlp5 ABI.
Checksums-Sha1: 
 1e3ed08f031dc2d7245d3cc390a19b3ebcafbf09 2425 coq_8.3.pl2+dfsg-2build1.dsc
 f746da7b2b490c20df4d519966eb572204b6679c 16455 coq_8.3.pl2+dfsg-2build1.debian.tar.gz
Checksums-Sha256: 
 6ccdf2947da40b890dce09a23b3ff77c88e2861d7ba283b2f4de789a96f4aa4c 2425 coq_8.3.pl2+dfsg-2build1.dsc
 b3c6d4c1a2c446d51ffcf6e4aa3074f3b03eb3f9b49eef8bfb8f95336fda88d9 16455 coq_8.3.pl2+dfsg-2build1.debian.tar.gz
Files: 
 c1c49088e9f1cf7094c907adc6308622 2425 math optional coq_8.3.pl2+dfsg-2build1.dsc
 7e63fd06a9b35ae028d7a38d7b769e93 16455 math optional coq_8.3.pl2+dfsg-2build1.debian.tar.gz

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

iQIVAwUBTr0cujk1h9l9hlALAQiy+xAAkIjn1pr1YOWCbLqUkvCKsDl5G1kWSacu
pucAL1WrAbQLoLfa9u11FdTNN4ysehzvpb5y6qWn7gyykJ9M9uzQPVKzK2s96a6V
pTF7J+MxtuiAO//3RQCDRGZVOyNuoN8sdIIXm6OEZVmqocsFsh1060aJXlGIpkho
c2xuGeDFrRzhfSHnFPA78cxxFiec46osasM9Z+mSNH+qYplAp09lKP2i5gA9u0c1
TFA1h+qNVo7MIDK6PTj4MbfdsTau1PMZbHLGXYD8gucw2crOcFC8M+5DqOOdsIYK
31a87B9kP3y7kwp7qorIfm3JluMVwOkptr7Z0VXITQlDH30YQGNaTUv41MYz+das
pobYOA3OF8XoZbnfUqULzY7/KYABkLTLrnz0SEqARzfpL8JZyHkBZ0XFVX4cx1AX
6OP1UxR76unneqTavDRxFgQG7nGCUlEN8LQeAGkqCDc6SgruiTDwkptCEDXT168B
PMgjg3qK1X+gIw5KjBw5IBPuHLAT5MN/zfUBGa93Yo8tXzyCdKzRAlFzjG2rDqo9
slL0yFDJkuR8ZOEb59Kb0qP3apHWcue3OP3shf74LGkXZeBwo4sYGJo5yBGno95u
roRTgEA98e+7P8oMuUFsH0k+zUwlArLvsEwmGuIggJLy14E0U2maCsavnBEc9tH6
rXmvGfjZrvY=
=EOCg
-----END PGP SIGNATURE-----