[ubuntu/quantal] coq 8.3.pl4+dfsg-1build1 (Accepted)

[Micah Gersten]

coq (8.3.pl4+dfsg-1build1) quantal; urgency=low

  * No change rebuild for new camlp5 ABI

Date: Tue, 15 May 2012 20:41:35 -0500
Changed-By: Micah Gersten <micahg at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/quantal/+source/coq/8.3.pl4+dfsg-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 15 May 2012 20:41:35 -0500
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.3.pl4+dfsg-1build1
Distribution: quantal
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Micah Gersten <micahg 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.pl4+dfsg-1build1) quantal; urgency=low
 .
   * No change rebuild for new camlp5 ABI
Checksums-Sha1: 
 3cc4376e70772959bf49d8f24290dffacd744eeb 1727 coq_8.3.pl4+dfsg-1build1.dsc
 672910e00df188647b02a3a65e8dcaaafd74ab89 16138 coq_8.3.pl4+dfsg-1build1.debian.tar.gz
Checksums-Sha256: 
 f4b3c964293833adf2c363684ddd65e8957f63854bb06f89bff3a9a073961463 1727 coq_8.3.pl4+dfsg-1build1.dsc
 3db77c37108dd1e77f6fcd91f7953c2ed8148a9e0cdddbc03ad879d71abfd43d 16138 coq_8.3.pl4+dfsg-1build1.debian.tar.gz
Files: 
 f5c40fee3966cd3bdad760a30c76b3ad 1727 math optional coq_8.3.pl4+dfsg-1build1.dsc
 36ef154126d51406e507a1a1b4a20191 16138 math optional coq_8.3.pl4+dfsg-1build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEARECAAYFAk+zBesACgkQTniv4aqX/VkukwCcCV3MaJAzqqFMO5w1WJewzPxj
71MAn3nrlVKQAe8ZECXrTVY7k2/yUWWj
=Bfs6
-----END PGP SIGNATURE-----