-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 30 Mar 2012 08:06:29 +0200 Source: coq-float Binary: libfloat-coq Architecture: source all Version: 1:8.3pl1-3 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Description: libfloat-coq - Coq library on floating-point arithmetic Changes: coq-float (1:8.3pl1-3) unstable; urgency=low . * Recompile with coq 8.3pl4 and camlp5 6.05 (no changes) Checksums-Sha1: 6cf817f1777615c8f56d4dd0a8181edf17aa0b55 2014 coq-float_8.3pl1-3.dsc 619773f7d2a20a64e79d897d10be89901883226e 3300 coq-float_8.3pl1-3.debian.tar.gz d24d1e613c7c7b226dc32705a5f444fb263b2bcf 16638052 libfloat-coq_8.3pl1-3_all.deb Checksums-Sha256: 00b67b0e634fbaed4160a83d90ae0703cb26d16c9a87df34277cc758437f4125 2014 coq-float_8.3pl1-3.dsc 3eb9aa92ba7a6bc9698a4f5f0f13076de02a45cb87df82bd40312266b6b9b7aa 3300 coq-float_8.3pl1-3.debian.tar.gz dcfcc2943c0d158e2d568254249bfe25418e2ba7ea142a2dc294240d3d4315d4 16638052 libfloat-coq_8.3pl1-3_all.deb Files: 79fe988052f79edc9ac0a18fdf29835e 2014 math optional coq-float_8.3pl1-3.dsc 4f550accb336e2afd65fa358b2eb054f 3300 math optional coq-float_8.3pl1-3.debian.tar.gz 8388d73dc904d16a96354caaff1daffe 16638052 math optional libfloat-coq_8.3pl1-3_all.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJPdVboAAoJEHhT2k1JiBrTM40P/RzBNCSMO/fZivDR8PZYbC4+ HnRYS8+4Hc4NjZOL5W8BIfS7xe7pAEgpVOPnIjkqbTsk/LPvI2CRClL0gCuhPwwP jgZkL/Qo/vTwiEiVXbDLSqC00n1cdw/9dFnm/I+zHhTgm9US3Vqfe8NEFylpoXrD zVBccJLSHo7UtH4sb1HvG1OzrNc1Y8VQDo6wSs+bTcSrR5HUKDQa4xiGJEVqyFd+ 5dPgQfi+VEDAMcjDKh8n8Z1e2pLScBTLvt1yBqWAaP1BRf4EC7zWezy/E6s29hSE cQrEziBC9WLznzhZgRFo7B5Joa0PN3B7pdg7I6mTB41k9+WnPxXIv/BRO5asITeL htRSgUzN+DTwGE1DARBdNzJAVGz7MhEUUhGg78gHAnvcFVKwpHnb60ZkrSxIpdek 2+/5PWD+kFrAPUdrJ8qbM5X7H0q/ojxMtvu29OuG8PwL3tGDRqw0u6mKwETDlpx9 3VDGzKEqYYXqE6bQRJBjgGiL42me3h93M0pghPn7W+d7wxTzb1s11Mbr56aq35q9 i0My8cCRxUBGa/KaDcXvxBHg8bYZM2+NjebyfcbPciu6DnYt+tuTjX1Oooi5+CdC bmrw77qrsk4usiD8yoG+JSqYNF89x4PS+yOfoc12NiQM+vQIWeBUBTTeO6cZuq6y Fq0GeNggs6IB7+vWvu0b =9Rcy -----END PGP SIGNATURE----- Accepted: coq-float_8.3pl1-3.debian.tar.gz to main/c/coq-float/coq-float_8.3pl1-3.debian.tar.gz coq-float_8.3pl1-3.dsc to main/c/coq-float/coq-float_8.3pl1-3.dsc libfloat-coq_8.3pl1-3_all.deb to main/c/coq-float/libfloat-coq_8.3pl1-3_all.deb -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1sdvqo-0005bl...@franck.debian.org
