-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 07 Dec 2013 10:06:37 +0100 Source: coq-float Binary: libfloat-coq Architecture: source all Version: 1:8.4-2 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.4-2) unstable; urgency=low . * Recompile with OCaml 4.01.0 Checksums-Sha1: dd9e561092e361e23128eab5947cf91983b69ddc 1987 coq-float_8.4-2.dsc 50324014887e27bf02ee5b09835dac21bf7b5f8a 3405 coq-float_8.4-2.debian.tar.gz b9123e3ff2e3779e39c81066ff3dc327d6f92f0c 11405744 libfloat-coq_8.4-2_all.deb Checksums-Sha256: bf558a7fe098f408f99729063881b5fa376126b809aef16175b2851a9356f6cd 1987 coq-float_8.4-2.dsc 1f2047df80efc596b9d22143f265e56e6127294443ab8e8eaed3014446ec19e5 3405 coq-float_8.4-2.debian.tar.gz 147f4568603d313b32b738cd10edae0bfbe30bcae5ada192d8cfc06f83db06f8 11405744 libfloat-coq_8.4-2_all.deb Files: 03915a046af958616bc73e0c5ccccd40 1987 math optional coq-float_8.4-2.dsc 2fec2aa51edeb6465c4050de707a7b41 3405 math optional coq-float_8.4-2.debian.tar.gz 10ef894f933f6ab910c957826e62f9aa 11405744 math optional libfloat-coq_8.4-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iQIcBAEBCgAGBQJSou3KAAoJEHhT2k1JiBrToZoQAJ9MVD6UXeOcWcGc5aZ/QuFp jLjEcs77lNrk7Y/LZIo4xMNhbiD3VCXTSPVgkXjFf+Yk3faVXWg4ASIXlz4gR/uu VuzETawy0SneqodTDDNTMllYdTCEkfKXWd035mVndpIFB/wO31HK+R6HG1QGvTum DhzV108tGYEEmzJh9wIU/1rbz6CMIKXomUwv2ZgdxlHpJsFKMsoi2eiz+E6bvYvW PFvLbsF6lVYwwDHgGbvAE67fby1w7EdXqXDCbn7i+jJ3XqohXBu3nP1gMc6Rd1PS ihD634UUSUYilhTOzk2cF3k0zHKSKvM5kUHMsomJ+n/A3eBLJXIuFLbwVOTl1O6L Dx7yIYbqMWqvb6t5BlFbVPiV+cUCtsuUE8vODCccu4Pa4CWN0vTX+YgMb8CfsNTb hRCLMNnkazkpCCvhDzRgvuvODSYUeWMoeJCdS43ABqfwrCBQzpImwHxiyDVC5K/E RXkZKw7CMdX4ts22NIkc8lYtDBUhq8/9OzP2WtfgYy3W56yMEQEx/aCphZtT3jb+ HXoAe5ZYD+dWi5oy0GTgJqtgdA6XpMr55Bicm4y5ZGP/nD+KCvxdRRpUwK6NDaAb hj8zAVIItJgZIkQ1nTGq6vBr87Pi6Uj3jvqdrWFdC3HT997WPqe0loQ1AZ8/NHHR RtL/nY6mbyTgAj1+1geZ =5b9V -----END PGP SIGNATURE-----
