Accepted coq-float 1:8.4-1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 08 May 2013 23:29:32 +0200
Source: coq-float
Binary: libfloat-coq
Architecture: source all
Version: 1:8.4-1
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-1) unstable; urgency=low
.
* New upstream release
* Use format version 1.0 in debian/copyright
* Bump Standards-Version to 3.9.4
* Bump debhelper compat level to 9
Checksums-Sha1:
f462ea46f314b2997c79983f86af52cadc242d6d 1987 coq-float_8.4-1.dsc
9ac6debf21e408325b0e8931d9c3dd1b25f653e1 352313 coq-float_8.4.orig.tar.gz
6437fc66fe28856391a974c66927d8f9e1c31432 3371 coq-float_8.4-1.debian.tar.gz
77e0f49a636bb3841afd32b4f8a69e0332e31997 16946952 libfloat-coq_8.4-1_all.deb
Checksums-Sha256:
75fa2da6e5aef49ea945cc337f73ee46ca0745ac09160374aa47b9a2a869584e 1987 coq-float_8.4-1.dsc
3436b4521ac8bb24850920f404994579174f5b20d1178d48dbd686ec109ef27c 352313 coq-float_8.4.orig.tar.gz
ddca7d0e89261965e37d843ccda93fd137dd7d7b56f68e62c98837ce8a3d8eb7 3371 coq-float_8.4-1.debian.tar.gz
ef5350da6c8d40895a65e79a153d2bb4e6372aef7596ef5f5921d6fb7b6f9bbb 16946952 libfloat-coq_8.4-1_all.deb
Files:
1a9444342be8f057d30f5ec5b07f4b76 1987 math optional coq-float_8.4-1.dsc
bbc569bda4d468842d508cbeb4cd6d0c 352313 math optional coq-float_8.4.orig.tar.gz
4f4218aeca92ab84cbb0276e4526dcbc 3371 math optional coq-float_8.4-1.debian.tar.gz
a8a9ddeb9fa282f86d555643a9570633 16946952 math optional libfloat-coq_8.4-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJRitZ7AAoJEHhT2k1JiBrTnskP/jJXAV6Mg3oXJOuKuWzxtCYA
HKr9wp2BVPCRes4CbVI3Vom+AWVDyg2E48GyhESEGR8QSPjq+y/UhtsbDRLT9DoK
4pdViuWyj5fpjS4tsv4y63VPVM9XHSjFYQKhi5HX2CJW1jErKehQf9tT/iLWGr8x
z3/kH3n5CRbIrJfKC9ZSO46S5R1K6BchfCkEHcRf4GjY3EQy8kRAY+YvoUhnrMp9
MOBAZKa6j6+BrO3y9PvneaCsFtg3iZOvvHM0b+mzun3F3E+43ZtB6vB0miNfoPwO
qTqfGc9bI5V6y1vtS77elygnxYiqt5Uo6GCFqnVF972eYPLF2UDUBiXTQksy9hyR
stuuTpXvQO2K8PdnjOIoezvJZR79p7aoR/EbPzoP8Xk6I0m4lQo5zZLGJKpGzUXX
0ApYJR7kqTYby1s1SuUUnC35/BVsUiowQPDDXqQjtSMrIPkyaB2ppz9/OO6vZzEB
cd+jHDEd3ViP1iPeP0NVgwixOQAt5lU4MZPcdHB4dCKrisBLAntTedDnt6u03Ylt
i5pcCAbtLf0IhXRLqiAQHzVZCcUVHOhNrrX1rSCISh2RbLWiAFU/pg8PucvHqO79
WhGS8KXCBkK38Y/PvIDEOJQYN8lfZWlDt7mSD82CcwAXfSDZUF2EmJzEvcej/jql
TASjHZiFEnazLilNJMV5
=SekZ
-----END PGP SIGNATURE-----