-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 03 Jul 2010 15:51:20 +0200 Source: coq-float Binary: libfloat-coq Architecture: source all Version: 1:8.2-1.2-5 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.2-1.2-5) unstable; urgency=low . * Rebuild with Coq 8.2pl2 * Update debian/watch * Bump Standards-Version to 3.9.0 (no changes) * Switch source package format to 3.0 (quilt) Checksums-Sha1: c846eada40e1e2fe14a54ee25cc54852fb9842df 1974 coq-float_8.2-1.2-5.dsc 7171ea3e14ac2ebb49270b49e527e8d45fd45832 3053 coq-float_8.2-1.2-5.debian.tar.gz 7e3df66d7a5860141a6c2cee89712d63df370856 10722366 libfloat-coq_8.2-1.2-5_all.deb Checksums-Sha256: 7ffca902f952b8df5822b965cb461942aa0c56faed65c5003e002df1e6300a3b 1974 coq-float_8.2-1.2-5.dsc 68e4a42e8b830f76289b8f41a564643b53ab3ab21913b9ec6023ba5262a363c0 3053 coq-float_8.2-1.2-5.debian.tar.gz e69d5478688645aab0a26baad036b6bb391d61e79ddd30bd2f35880a56aadd8f 10722366 libfloat-coq_8.2-1.2-5_all.deb Files: cd0030c356eb9b6c3c5691c41cf28c17 1974 math optional coq-float_8.2-1.2-5.dsc 56ae57d10f68c1034f807823b623798c 3053 math optional coq-float_8.2-1.2-5.debian.tar.gz 4c4192bf8f0985c955217311987cb461 10722366 math optional libfloat-coq_8.2-1.2-5_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCgAGBQJML0olAAoJEHhT2k1JiBrTK7oP+QHgcPcEVNh/lvqwYd/SouyU NjCKVZ6dCFEWtOGsi7KY/uc+IH+w4X6IOdHK1IQoxxbk27DQxOzE0hlVLfUV5+jG Aqoq/si8B56TN4uul1Hf52pcaBpkNAu34URjHzJGWicgdfucv2NtZIzzSZfMcvQS tUaWmbOwDsT2sEVa7I+I1BkTAEsszASgjvgTaulHZpIOLbllEZ1y4a2n+PQ0GZLz F3n7UAf4OkNNUJWIQCuBPCggpnq+yBVlUsss6cFmlBfT4Guoor9aY3bWnR2lV7Wr GsMfTtqFWklj4Lge6h04V9gacDxYNgfdhFUzRsTjUgnswueT/74EtxEFg0+ml9dV PXHzidXFpx8qBpp2gTHrn4yk9UfPo5GG9GFdMtrl4I+xh9/uRoBdRH+zWf/Dvj0B CySj90GANwAHhdJIcgW83ZroVFvyec/DlJo3W8eAvlpdwA6M7zgWqzdJ22jukvft AxID8Zcmogf0yRENLSSRy4feNlKqHqbacJ3dHqrBVXBp163NghUCqw3yHOoDXYei ozAObaS5GVBXeYTX4lSfp7QLixBnOyoUmejEMLKiN1uk8UDY2C16sbifBwJuRrsj tgfE9LiefAhshAY+kpuapOUFEF7e9Zk6MBUahLx9a01OE3dkIMovb7tL6bE2EL7B GnUkv+HwbsT2kKQ18PdI =Ov05 -----END PGP SIGNATURE----- Accepted: coq-float_8.2-1.2-5.debian.tar.gz to main/c/coq-float/coq-float_8.2-1.2-5.debian.tar.gz coq-float_8.2-1.2-5.dsc to main/c/coq-float/coq-float_8.2-1.2-5.dsc libfloat-coq_8.2-1.2-5_all.deb to main/c/coq-float/libfloat-coq_8.2-1.2-5_all.deb
