-----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
