[ubuntu/oneiric] coq 8.2.pl2+dfsg-1ubuntu2 (Accepted)

[Colin Watson]

coq (8.2.pl2+dfsg-1ubuntu2) oneiric; urgency=low

  * Rebuild for OCaml 3.12.0.

Date: Tue, 17 May 2011 08:24:50 +0100
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Signed-By: Colin Watson <cjwatson at canonical.com>
https://launchpad.net/ubuntu/oneiric/+source/coq/8.2.pl2+dfsg-1ubuntu2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 17 May 2011 08:24:50 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml-dev
Architecture: source
Version: 8.2.pl2+dfsg-1ubuntu2
Distribution: oneiric
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-dev - development libraries and tools for Coq
Changes: 
 coq (8.2.pl2+dfsg-1ubuntu2) oneiric; urgency=low
 .
   * Rebuild for OCaml 3.12.0.
Checksums-Sha1: 
 e0f5cdfeeaa466e0931292c4eb4eb2a1d8270b5f 2241 coq_8.2.pl2+dfsg-1ubuntu2.dsc
 b84b51a085d90066ca4e71cd6a3787c1bd602051 17353 coq_8.2.pl2+dfsg-1ubuntu2.debian.tar.gz
Checksums-Sha256: 
 c8a6856b184137ee7ab2af6656b84d40f1e966aa08857af1ca42ae9edaff0ecf 2241 coq_8.2.pl2+dfsg-1ubuntu2.dsc
 733adc413380c02aada97edb31cbfd325fcd36d0b4972f0f56da050cd12af002 17353 coq_8.2.pl2+dfsg-1ubuntu2.debian.tar.gz
Files: 
 2dd1e8d6304550ffa981b6b08d64bde0 2241 math optional coq_8.2.pl2+dfsg-1ubuntu2.dsc
 0dd3a32cb852bd20cbaf9a591f697f10 17353 math optional coq_8.2.pl2+dfsg-1ubuntu2.debian.tar.gz

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

iQIVAwUBTdIi8zk1h9l9hlALAQiOrA//WDgIUFRiVJgrqNj/7yvVnyy/o4t4oOjc
vepol9e9zG4H7KcWSbgc/5qXyudcZH8xK3V+5G/lRDeNMAop0tlsD5UKOmh1ydCV
wWkNWOV2uammDhWR7Em3i+UPvTatCkMWDu8G8/by8HNOHAUF1Z3lOqSDwwoCE9OC
/1UXSPgeKYvQs/1uDm6T3LC6bnJohZBMWuMO5Lr6zLZ3SzvZZrGNtXbLAnwj1f5B
X8WB/HihQOwaQT0KCZY7ReTlTHHHB1pZ967MDaOAs2RJ+shTEk5sMxVFomowqSES
qWSg0KbWi3c22NXEmqmLSG52w6Wv48Rrtq7CDHs//f4DEo6m6E3KJ5WWwEla1b/u
nhHgfcJqookloM9efM2WXnKVKL8N4OfMIgTzk/U57d4utN4BvA3Tiv6BWa8mLRAA
cDLuHPBe6+ppDtPrX518CiwX2dLx3kkEsPjSYCGnBGv7YUH4hNsSnGnwuq9d9VUx
a/M8su5v/tZB4/u+Gl8HCxVsK0ANYd94zLqVMIqDRgH/E1kYE4aOqzwjIgHolJmW
jeW78wBxPRpapSxC6NRSuHsrt/Mt7DHf8dxRIOFVyuyNln6PGX1PVjNG2Jqa1/9g
78LbBV7M+92rZ0DK+dYlio3HnS2LTAfbtv6ja6zo6Gy0WDtygUOpWerrkFapcjSC
7c0brliReFU=
=LdUq
-----END PGP SIGNATURE-----