coq-float (1:8.2-1.2-8build1) precise; urgency=low * No-change rebuild for OCaml 3.12.1.
Date: Sun, 11 Dec 2011 13:34:38 +0400 Changed-By: Ilya Barygin <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> https://launchpad.net/ubuntu/precise/+source/coq-float/1:8.2-1.2-8build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 11 Dec 2011 13:34:38 +0400 Source: coq-float Binary: libfloat-coq Architecture: source Version: 1:8.2-1.2-8build1 Distribution: precise Urgency: low Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Ilya Barygin <[email protected]> Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.2-1.2-8build1) precise; urgency=low . * No-change rebuild for OCaml 3.12.1. Checksums-Sha1: 3977dd1dc2152e47e380cf1d006d2607c1295dd5 1699 coq-float_8.2-1.2-8build1.dsc d78d73ea3dd861826fdb93f25a73d800be53ff6e 3585 coq-float_8.2-1.2-8build1.debian.tar.gz Checksums-Sha256: fb4fc500cb4c824be8a52e144393af2c2a866caa6b42645d926434dfef895756 1699 coq-float_8.2-1.2-8build1.dsc bb28bd3bcce98346f87ed006bf394a016b5b768df77b70686fa985c8dd78e921 3585 coq-float_8.2-1.2-8build1.debian.tar.gz Files: a4d638a724a41bb053cb1a4d400d1dbf 1699 math optional coq-float_8.2-1.2-8build1.dsc 95977f72b4d3891db6e25b9e09cfd1bf 3585 math optional coq-float_8.2-1.2-8build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQEcBAEBCAAGBQJO5HngAAoJEP+gcEe5E+JxZ9sH/jIvfdl6zYe9cmb9zTikl1wB fPs0x77Ns0tHaXF1QnKi6ZYiH9s/6zSRUR4q9oCo/BOiSCNKyt81zemNmAQIYpG6 YVq8f9njYrofLgaLTpSRjK8FXxYcmZvzdQafRI2Vxx5AVro1VcYOGLQ9k7kZSzbM 2Ww1afxbZsmsELDR7XKR/mPpPOnemKglAqwbxs6rgvkGd2F+iTq+ncXpY1Hl1cGE +/Mxmrtk+ydmbn8a7XzTm+tV33UI3I20Sb/e731wM40wVI+AYax+loVXY3YrPbAz 5E6e6WxpBrarhBIiRLxHm3oGeJICyqGLXkCvspmeb5QhWYjPH0yS0wdpHLmOq8A= =iquL -----END PGP SIGNATURE-----
-- Precise-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/precise-changes
