Accepted coq-float 1:8.4-5b1 (source)

Matthias Klumpp mak at debian.org
Fri Jan 15 13:17:14 EST 2016


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 15 Jan 2016 19:14:06 +0100
Source: coq-float
Binary: libfloat-coq
Architecture: source
Version: 1:8.4-5b1
Distribution: staging
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klumpp <mak at debian.org>
Description:
 libfloat-coq - Coq library on floating-point arithmetic
Changes:
 coq-float (1:8.4-5b1) staging; urgency=medium
 .
   * No-change rebuild against current OCaml.
Checksums-Sha1:
 30621b5f64cd43565b069a3e0d1e36c491b7a43e 1992 coq-float_8.4-5b1.dsc
 9ac6debf21e408325b0e8931d9c3dd1b25f653e1 352313 coq-float_8.4.orig.tar.gz
 d9f89085318dce7a9f406136d4a6275d34d878d4 3396 coq-float_8.4-5b1.debian.tar.xz
Checksums-Sha256:
 30473bf38916a8dcca0ce607dfa5dccb2648e0a43bab7e8c51fcbe1ef06b28ec 1992 coq-float_8.4-5b1.dsc
 3436b4521ac8bb24850920f404994579174f5b20d1178d48dbd686ec109ef27c 352313 coq-float_8.4.orig.tar.gz
 1be75088588ccf7a70318133e5133cd2e836b379fad61c422580a0ee4d7c010a 3396 coq-float_8.4-5b1.debian.tar.xz
Files:
 cfae9281060e4e2db141c36a99580dfa 1992 math optional coq-float_8.4-5b1.dsc
 bbc569bda4d468842d508cbeb4cd6d0c 352313 math optional coq-float_8.4.orig.tar.gz
 8db24152b694cee6a438d223b4e52cc8 3396 math optional coq-float_8.4-5b1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJWmTbwAAoJEElMil+/TezreiQP/RyfljXMOnTnWsg5C9LnhZFe
cjlqTgHzGaOAwu9ukBYNL3R+HAmOwfsSgda/LdegR3v5emM9ldDQENz60WliJpz5
LpY+GJCM8S7YOgTDHAWbP3GToUBQeAzAbVBwW6YDEFx88x0xOHgYEbiokdJrVvE3
7UCYI50lgkqsIgYZuEVM7FDw53T0CgX1AvUlpdPOH/jvUpUck0D9xT7DhgqmT626
MI5J6MvRBE6XKcGljSw4277tLp8crwBwgepECKSuMPYqp69PGoEXmj8pDE8UaAba
ieImNVqpZFPDbLSh0S06dsptAtfTZDtgPpV0dZEJwbmHpIIyNixJp9RAgoz0l8JW
YN4qGWDUW1potfc37M324YV2AwW4EEgYLMJasr3DP1d0JPTms78+GuS+1oVMffk6
v78pcNwm0J5qc3ZkKL93Tpdw/aePI/tFcGQdyvNHJsAoRJeHm/IdskGiXLzguNOO
oKQ5TPByq/39Z8tq4gbspSJ4UJkKT1kVP+M6OlCW2vguHGNvwQiDSwxodp7Qi3dp
ffu3F2QwyMXzSjz5hLZ1nhD3Lc1xSxf/XPQGwOBldHt1W/iybWbPT1xb21o+DpJN
nudOVdNWKqkB5wZtmrcxqtTPKk9vQCJ69hfjXt76WzxA2qVicgxefYwq+nfnfnsc
/u1NVvowW7xkzJBjpkcP
=VBiY
-----END PGP SIGNATURE-----



More information about the Tanglu-changes mailing list