[ubuntu/oneiric] coq 8.3.pl2+dfsg-1build1 (Accepted)

Adam Conrad adconrad at ubuntu.com
Thu Aug 25 04:15:40 UTC 2011


coq (8.3.pl2+dfsg-1build1) oneiric; urgency=low

  * Rebuild to pick up ocaml fixes on armel.

Date: Wed, 24 Aug 2011 16:34:25 -0600
Changed-By: Adam Conrad <adconrad at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/oneiric/+source/coq/8.3.pl2+dfsg-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 24 Aug 2011 16:34:25 -0600
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.3.pl2+dfsg-1build1
Distribution: oneiric
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Adam Conrad <adconrad 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-1build1) oneiric; urgency=low
 .
   * Rebuild to pick up ocaml fixes on armel.
Checksums-Sha1: 
 e18758aa24e3bf65aa2d81ae5fbfa2d26d4896cb 1559 coq_8.3.pl2+dfsg-1build1.dsc
 a9f0a13f763dba48777255b26dd67bea52eaee6f 16531 coq_8.3.pl2+dfsg-1build1.debian.tar.gz
Checksums-Sha256: 
 e5803976b4245d8f9355b82671454fafd08eff284eb5dd1d2cd3f796f3647e10 1559 coq_8.3.pl2+dfsg-1build1.dsc
 2b5bd3fed725de967f3f758302a4dd5a709745dee81e557217170878bbd74296 16531 coq_8.3.pl2+dfsg-1build1.debian.tar.gz
Files: 
 2399b6a6eb0b4228669109781378f5f3 1559 math optional coq_8.3.pl2+dfsg-1build1.dsc
 99919e1feb2ad78546b20a1bf6a0bafe 16531 math optional coq_8.3.pl2+dfsg-1build1.debian.tar.gz

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

iEYEARECAAYFAk5Vf8EACgkQvjztR8bOoMnvYQCeNJDtDEumnnVrnwBny+xIn7uR
eFUAoPLt/B14TYLxelHpBFPLTCluleJL
=RwiG
-----END PGP SIGNATURE-----


More information about the Oneiric-changes mailing list