Accepted coq-float 1:8.2-1.2-9 (source all)
-----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