-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 06 Mar 2012 08:30:25 +0100 Source: coq-float Binary: libfloat-coq Architecture: source all Version: 1:8.3pl1-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.3pl1-2) unstable; urgency=low . * Recompile with camlp5 6.04 (no changes) Checksums-Sha1: c332ab4279c71193d8a092495a37e50b0a25d4e9 2014 coq-float_8.3pl1-2.dsc 7649f57124f9a2643a4698731f6d006bf8ced644 3262 coq-float_8.3pl1-2.debian.tar.gz a24e53eb87cc2654a12879aaae1c6c589886a9be 16637624 libfloat-coq_8.3pl1-2_all.deb Checksums-Sha256: 64fc74edee88abfe323a590b0ebaaa20d3076e2ace330a82f1318b0cebefe348 2014 coq-float_8.3pl1-2.dsc 639898a7df238967542df39450f74100e7a361c84f1034f6498fcb4fd9b03e3f 3262 coq-float_8.3pl1-2.debian.tar.gz 108e827734e9e49b1a14b69dd21f59a057e05729ece4472c8383128fb9ffec75 16637624 libfloat-coq_8.3pl1-2_all.deb Files: c4950370684bfe023decd66b73a42e47 2014 math optional coq-float_8.3pl1-2.dsc 3b77ef8f6176b5842f4a9b860a71bf95 3262 math optional coq-float_8.3pl1-2.debian.tar.gz 195df8251f6cb212f9b855ed86a25c0b 16637624 math optional libfloat-coq_8.3pl1-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCgAGBQJPVczEAAoJEHhT2k1JiBrTKGUP/0MuoI9GB9wHrwmNKPXJGBIh c8gaREAjF71dEwtdyNqx/ZvSuBVo2O9Lh18xP6uP3E5p1pvzZYSCWZH6k27o3wkE EvH0Fzp4T1qllfheBcP7Iw0jMOkGVbhckeVXqNrBly1msvFWq9XWyZeh5Adpr+sF FSOfpGXdum+DQ575BZJaVteOmbSwvo+n2p+OPPGm64ZnT+Hp+6VFzO8faX6B2PJm 6KaoBVeTp4TwMP1w+noCSrYkptxChoHbmajpDz1NhOEdS4dzKMZm0evjwcWCSlyc 6nObK/LQH0/khuAAM5aPNkeuzgJGRNXOB+clxmRZhynPfvImjx5YENu47j4ZjCuW MsU8QGvWPQgo4jcL6GvkeFGvcTokEMxbGhMsYjRkneQ1a/CTcEG48NlRHh+IT0Yp dyt1uq3yWwvnPv5oFQ5t2qGvVxSJWd8mD7VUrtOd6FiDW7BwetoU+A9hMFudJwJS DBr076XQeIg22K+GUFcUhmYToWVYbmZ19cTYpUD2DSoq9JRJo/xYm460oi+RnJBm Pf6J7SxnxBbqtsq/l6T3tRraxtAuckO1Zt8LlpEaUItLzWIHIqWC8xEJrvtO8PQg uhK+Ss37sTB+zUk/DRr/oD660skNi8/8ylp2l1HpyTVtEdCjJW+AY8I6YRHcQuQs IGSO1AKNYLEaLNxybqog =wkkW -----END PGP SIGNATURE----- Accepted: coq-float_8.3pl1-2.debian.tar.gz to main/c/coq-float/coq-float_8.3pl1-2.debian.tar.gz coq-float_8.3pl1-2.dsc to main/c/coq-float/coq-float_8.3pl1-2.dsc libfloat-coq_8.3pl1-2_all.deb to main/c/coq-float/libfloat-coq_8.3pl1-2_all.deb
