-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 09 Jan 2012 20:41:12 +0100
Source: coq-float
Binary: libfloat-coq
Architecture: source all
Version: 1:8.3pl1-1
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-1) unstable; urgency=low
.
* New upstream release
- remove all patches (applied upstream)
Checksums-Sha1:
a8cd0e532d959b396e9c80d71b039406a29ef080 2014 coq-float_8.3pl1-1.dsc
04e24664787b7f7a8a674eaec763171e20b38b47 359738 coq-float_8.3pl1.orig.tar.gz
5b6852fff712a4af1d070103cc920698bb4a049b 3231 coq-float_8.3pl1-1.debian.tar.gz
546cfbefb4edd7676593877c2be938d1bf07a9bf 16637552 libfloat-coq_8.3pl1-1_all.deb
Checksums-Sha256:
12750a47c4bdccea8c3ac6afbedbca54c33287769dfd3b84b073610bde66b4da 2014 coq-float_8.3pl1-1.dsc
f56ee9c5c1b7ec3fba4299f80b01eafd76a1225a2235050083a1b72c539844b0 359738 coq-float_8.3pl1.orig.tar.gz
7f5b38305ce9955c780a19f1b0b4d5c8607b2dfe70d02c4a7b2f2a5d245fc9ad 3231 coq-float_8.3pl1-1.debian.tar.gz
ce5bd3a146d8c64b1645a961914ec2a60df3fabb5a4ef1ddedfae5e506e128ab 16637552 libfloat-coq_8.3pl1-1_all.deb
Files:
091f1645a2851540648abd115d14c6ac 2014 math optional coq-float_8.3pl1-1.dsc
155de5063ffb8296a0bcb219c4eb99b3 359738 math optional coq-float_8.3pl1.orig.tar.gz
3a2cb0367e73147b0020b3e39de9096b 3231 math optional coq-float_8.3pl1-1.debian.tar.gz
b62f127f87704d2bb3e1098b753ef800 16637552 math optional libfloat-coq_8.3pl1-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJPC0wDAAoJEHhT2k1JiBrT260P/0F9KqIWy6XBFC0EiWOrDXfP
F/AqRZ/FPjn7ISektza72YlVzbORHTt/jpZrHATsmv9CkZyJv2iNywW0R+YmZbBQ
v2YPcl6RM/lMg3tPmTGWIG32Mfmkb8bOb1oLy3qLONnRou/NIGUbbHkcHyQy2Pqa
SMnkw7G3Wm67tnJUaufO+eBEsamnkh4dijeeCSTLEECcM+ZdNM9J1CIXmXC/LW/T
tOZhbYUf8harhkCt3wHZd/l/4KrqoGO8eSxFREQEuGuU1eFxkkmb4KWscgqFap7p
V1Fp10+T2e+FLNdZ16b4x4DtfZt71PBL/WEZtMMMVbt/r5yex81uzTgqD1rPTSQr
1ZtgFGibYQ/lXP2+UDIcxKVyrtR2xf+zkG1vn1cPKhWL1zcRttJzVj6yZTkqnzRm
NdVnUSPcjFSRFU0Xawx0s96gKHrvNjPdGgWCY4MPYIMH8RfxZLqW7jSuOsBTreBS
bLoJeJHV4kEQhpmTpFRl5OFE7UruI16FxIKuslBnZwm2jCIegZN1MkxUJpZNr0JA
ia3bCfo7PJQ+6WXh9SW4rtqyBHZgfbW1A4cZIo2vq+NAYePvxAPcpBcLakxrTBuw
tPBwsDNLybyHgeNlqr/K4cZ2WHF3o35IPBdSemiqbi3o+eG64yXqrFj73hbGeDhu
gWFQOKmkA3SQPJ2Wu90i
=r55z
-----END PGP SIGNATURE-----
Accepted:
coq-float_8.3pl1-1.debian.tar.gz
to main/c/coq-float/coq-float_8.3pl1-1.debian.tar.gz
coq-float_8.3pl1-1.dsc
to main/c/coq-float/coq-float_8.3pl1-1.dsc
coq-float_8.3pl1.orig.tar.gz
to main/c/coq-float/coq-float_8.3pl1.orig.tar.gz
libfloat-coq_8.3pl1-1_all.deb
to main/c/coq-float/libfloat-coq_8.3pl1-1_all.deb
