Accepted coq-float 1:8.2-1.2-8 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 03 Nov 2011 06:25:46 +0100
Source: coq-float
Binary: libfloat-coq
Architecture: source all
Version: 1:8.2-1.2-8
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-8) unstable; urgency=low
.
* Recompile with OCaml 3.12.1 (no changes)
* Bump Standards-Version to 3.9.2 (no changes)
Checksums-Sha1:
ca4b3870c3e9aa77318004f4692aae840a75ee4e 2021 coq-float_8.2-1.2-8.dsc
d719821ff26aa93f1e715eff8058355742ce32ec 3461 coq-float_8.2-1.2-8.debian.tar.gz
af0cfd5deb21b96bfcea98a5ac0024bf2d466b1e 13915704 libfloat-coq_8.2-1.2-8_all.deb
Checksums-Sha256:
999f4d4b731858490f5d97b1b7bea22c0fa5fee2e6fb184e14c97a9c25f947e8 2021 coq-float_8.2-1.2-8.dsc
9461326f90b2d4385324d9007eda3a1f1ace5c6d2d3bea3b07350f65d65e0959 3461 coq-float_8.2-1.2-8.debian.tar.gz
03a7e1bdb6d3d4ce8ecd93b4e841798553fc3213f04c9b7e2582570c19bef11d 13915704 libfloat-coq_8.2-1.2-8_all.deb
Files:
6296f8ec4ff4113eba3fc94652d7ca0e 2021 math optional coq-float_8.2-1.2-8.dsc
ec7afdaaa7e695c7a92fcc5febed25f1 3461 math optional coq-float_8.2-1.2-8.debian.tar.gz
dbc06827017c1f4dd3ef3b87962e500f 13915704 math optional libfloat-coq_8.2-1.2-8_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJOsiwnAAoJEHhT2k1JiBrTdGgP/A3zZWP5A1kuyKmqctVv4IyZ
NSOkQ7To8MLa3UgrppjUHMPLswtoTEl1/X6d+mTOw/n+L/S4r7wcpqkXsMMx0GS4
Cr+1amaQ5ldnd++dJhaNzRobKQA0CUPk7WMFwM3Hgi38Fx+MnAvaXX3tCx/rprJQ
jaDr4zOheSuS2Sd1fjrzuHYhkouXXITSTsHdI437Nwo75vMSjB/2Jlx1f0UictLb
TANHZ1Y9a5euZfdRwPIs9p1Al14c136rnALQmZlNa8oFsf1ZA3lX/9X+i8fnKRNm
JehlABWQMCiB/GDwRB2KGJngKrN2mlQ6rihAqOl2XVBsfqSzM98ktcDExzbhJYba
L491qlbzQZR78rcKF+Sxrq3rln80r9DlxfgavD8OCQl5DDZrzGcyXxTEzoVa2aRB
Hh++Itg24vDT96hcgh7WpQx1NN8oPy+loOSWXhSCz8sDJO7tGJaM5xDABxo444rm
l+7M+vPrCv4Ggqb4TGX3qCZlSUo4lQ4nmbZcZ1ATdLV/eYCX7wcNfQ/ZiNXCrfCC
MThiK0zNuAP2T0BiTN1gpIx8OpIr7kFrfx+nLTGKfI945AaIajYU4s49QxQbtS2/
b4D5TXxs7Ds29TBTNU8K+aCGPoIRPt0K9DxrJMk0/MF4hiYXsGAZ228BLKro1tbe
xX+ZRZ6WRQAXmShvvsUN
=rc9k
-----END PGP SIGNATURE-----
Accepted:
coq-float_8.2-1.2-8.debian.tar.gz
to main/c/coq-float/coq-float_8.2-1.2-8.debian.tar.gz
coq-float_8.2-1.2-8.dsc
to main/c/coq-float/coq-float_8.2-1.2-8.dsc
libfloat-coq_8.2-1.2-8_all.deb
to main/c/coq-float/libfloat-coq_8.2-1.2-8_all.deb