-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 17:24:31 +0200 Source: flocq Binary: libcoq-flocq Architecture: source amd64 Version: 4.2.2-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-flocq - Floating-point arithmetic for Coq Changes: flocq (4.2.2-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. Checksums-Sha1: c083a1118369829b5c663973bdd357136879e9e8 2040 flocq_4.2.2-1.dsc 29daf40b22588bc33b9b4929f6075e35852fd6a8 329748 flocq_4.2.2.orig.tar.bz2 19c307ff88f9efe049ee67835ba7b0570e113d74 2000 flocq_4.2.2-1.debian.tar.xz 411661fbf6d7ad9368694b70407ed7cc764c6040 7365 flocq_4.2.2-1_amd64.buildinfo 3a5ef7e4ce17a0eecacf0584e9e2237136a7eeee 3466044 libcoq-flocq_4.2.2-1_amd64.deb Checksums-Sha256: 0cff5b202a0500e2bc3d644466f82362516d2706a1a3910bb60feb1a890a2be1 2040 flocq_4.2.2-1.dsc 176914d121c09ee07679afd302fc42675592c4c3db2c1e3a71ad69b03c2b0a89 329748 flocq_4.2.2.orig.tar.bz2 afec21b563520c8c26ff48ab5cb4fa72c2acd26b7fac405966ae4b00c04e2b62 2000 flocq_4.2.2-1.debian.tar.xz 92b9b0797d63c272221c18236d2178a2e612420d6a94ec21609525c987019b90 7365 flocq_4.2.2-1_amd64.buildinfo 9880c651e870bc39e635d4751177e6007efa3737a3fc273581fa380b44195935 3466044 libcoq-flocq_4.2.2-1_amd64.deb Files: a9eb2e79e602ff3dd741d9e3f9b79068 2040 ocaml optional flocq_4.2.2-1.dsc 4db33be7df4d7307ce4e011e74cf8c94 329748 ocaml optional flocq_4.2.2.orig.tar.bz2 7bc0af56c419cab48fd9b68f5f7b6604 2000 ocaml optional flocq_4.2.2-1.debian.tar.xz ba4b4e72a23465fcb69afefd1cdc03e3 7365 ocaml optional flocq_4.2.2-1_amd64.buildinfo e5994484af431642dba424d61c318597 3466044 ocaml optional libcoq-flocq_4.2.2-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpREyMZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUPHD/9c4mJaJwr6bnifRfFr6un1 ftrf7Fk+UG8RR+8T5+YeS2CuFCEQNeYfKiS8cNi1Wmu5Qn3F8iWf+sAm20r96V1o lnFFmbxgqZMvXyB2LZOT/uRgaMqXhz/3JYEOtsMgmjrntgEY2D0zsee8lEtSTJFY lcsynF7IN6a03fj5goJdWW+lY2w9EjXA1o7r7+r6mO4wGSf8Sxs3wP+7Vufr0PH1 NuxGS5UHa5MSd2v3QvpXAWlsyzuBaqbkwgTSvvZB1DckFOqFnsJxzCVxdJIB+Kf9 NXZwV3PTIhu3XLWLK7DOXpe+DM6eahKM4oI6QdMkhgTpDZakELTWi2ng6R0TxEK6 z8uS1NEmHj6QGl2fu5MNTjiBrVi/kedhL4pEdgpcZdkY4fIr/7aAHakI/lVMpDZt 4XcwZSuSmFSuIkPmGjPUhHMJYdqIl+uefHtg1GNzxzv5k3B8VPK7YxHbboe2i+HB BmcXz/Ijv8/DwxHmqijT6Tqay/+H8F8rqAibb1jtMHxFok6dDcYZHDOJVuGbiZP6 BAQy0PObzdvXbVZdBh3iBHmi0RVF5t+IjqrE1cV7tvQv15STBi8nKpX7K06hZOGp 06Fknm/sLxftdjGkd5NwrB8e1t7diJWZXVbTvlnmAMjyns/YcaUM/jt8pHu/sgAN AetjTFEf4pJS3E+ieIGX5A== =Pvpy -----END PGP SIGNATURE-----
pgp3ATmlkUiXh.pgp
Description: PGP signature
