Back to coq-float PTS page

Accepted coq-float 1:8.2-1.2-5 (source all)



-----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