Accepted coq-float 1:8.4-2 (source all)
-----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-----