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 <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> https://launchpad.net/ubuntu/oneiric/+source/coq/8.3.pl2+dfsg-1build1
-----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 <[email protected]> Changed-By: Adam Conrad <[email protected]> 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-----
-- Oneiric-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/oneiric-changes
