-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 25 Dec 2011 17:51:31 +0100 Source: coq-float Binary: libfloat-coq Architecture: source all Version: 1:8.2-1.2-9 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-9) unstable; urgency=low . * Rebuild with Coq 8.3pl3 (no source changes) Checksums-Sha1: 7dadf7e3058d04d2c9096b6a72ee432ed71617d3 2021 coq-float_8.2-1.2-9.dsc 03489224d910c6e06c7db732e2c3584af6b6bdb0 3474 coq-float_8.2-1.2-9.debian.tar.gz 8affa9b6d5170f3a63b875dc783f5a01957fc8e8 13993290 libfloat-coq_8.2-1.2-9_all.deb Checksums-Sha256: 302095a9083323ea65e7c09e688b3776197476117a412dd00aef4e0d6da527fc 2021 coq-float_8.2-1.2-9.dsc 043cb19c0d5519e36f907f25db54034c4abea0f7c98818ce2d0dd4aeabda7a7e 3474 coq-float_8.2-1.2-9.debian.tar.gz 38f29f11e902506aea351c324782815e6f43797a565c55680f523ac30c72c8b8 13993290 libfloat-coq_8.2-1.2-9_all.deb Files: 3ac04fe229e3ee376afcf80a4b39c7ef 2021 math optional coq-float_8.2-1.2-9.dsc 359245312c57a6c3a1f6ffa6d79e79b0 3474 math optional coq-float_8.2-1.2-9.debian.tar.gz 810319e789c0b15ba7924257a2f3465f 13993290 math optional libfloat-coq_8.2-1.2-9_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCgAGBQJO91qoAAoJEHhT2k1JiBrTdE0P/0arkXej6R8+z1Wtdk3yAFtR RYdMnsSvHEv60w+9egw9+fOG37RQ0c+nHLiEmBtXxiFSOLaf4XdnIaWqUXytTZUD sCd2tDYk4P/cbUKSJagPyle/xi3hTEQjx4fFzaCabE+wzRfnSDzwzHJb4cBoIZI+ tLcjPtVirEnWXbIOx8Os7f5GFegqyxrji068ZLYjhmICUjNMuEbcOs6j4cRot8e7 Is4pv2JHziL+vO8MQaB030bdv5Fa0k7qKIOYNwSG6/lm6ZLfPl47zxDAiFE6zlDw RVwqHU1f3nAqDuuq8MesXvK9WMmIzSkmwffwmWbcrxvkcassH+Nwo8Uwm7MYPVhn 97KGvvpb2I2ESmjM4AhGHyqijgPkVZGn00dBUDhc5cSMcr27iLiqgKQHpJA3OQPg cgPaePQhv8vsB00EnKWH+VhR2fT6A+U9fz2/dKc/1KY+bp+4khoffSqSVYln/uzu D5y+uEdmGYM01dwVhwJu1ecWxQTVnCrnSHpGGKmxFYq8jh1Y3H68hzUaKZREuteF bQTFRBIXe4yNa1euQchtMBU3KyC6QrV2+XvCR4BTQr46yvBk7Dt8MrNEp9gQbe3p Tq9gZADABYwriIHP9FKrj1ZlvhJR2DCaZA1rxMUYa5ihrh3fGHY9FeyFosSBvIN2 ggEMF06/hifRlpkNbOyo =ay3+ -----END PGP SIGNATURE----- Accepted: coq-float_8.2-1.2-9.debian.tar.gz to main/c/coq-float/coq-float_8.2-1.2-9.debian.tar.gz coq-float_8.2-1.2-9.dsc to main/c/coq-float/coq-float_8.2-1.2-9.dsc libfloat-coq_8.2-1.2-9_all.deb to main/c/coq-float/libfloat-coq_8.2-1.2-9_all.deb
