-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 23 Jul 2026 17:30:31 +0200 Source: flocq Binary: libcoq-flocq Architecture: source amd64 Version: 4.2.2-2 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-flocq - Floating-point arithmetic for Coq Changes: flocq (4.2.2-2) unstable; urgency=medium . * Upload to unstable. Checksums-Sha1: ea21b15459e74868f0c8d0fe757893b050804197 2040 flocq_4.2.2-2.dsc 29daf40b22588bc33b9b4929f6075e35852fd6a8 329748 flocq_4.2.2.orig.tar.bz2 7be91ab9fb262a7013a88bb03edc8fa364cb8ae9 2024 flocq_4.2.2-2.debian.tar.xz c00888198844340db1d95c1bff8d6e1b032c98ad 6876 flocq_4.2.2-2_amd64.buildinfo b978abda0b7b8d44188a7f622c3de468a5ea48b7 3465716 libcoq-flocq_4.2.2-2_amd64.deb Checksums-Sha256: 31840ff0460a70ed9b67f9c97872a0565efc8d0a512eb2d73dbf1973cc662dcd 2040 flocq_4.2.2-2.dsc 176914d121c09ee07679afd302fc42675592c4c3db2c1e3a71ad69b03c2b0a89 329748 flocq_4.2.2.orig.tar.bz2 f32334aec8d620bc5cfe484ef61e359b80e707dec98c8f0e018d465166389775 2024 flocq_4.2.2-2.debian.tar.xz a21af4d2d866234f869ced9b1bd106421c4f1f5d49fc72bf75bbd90699b43f28 6876 flocq_4.2.2-2_amd64.buildinfo b41cfa179f96e8569a324d1e27f39681388e4def1127062044c4f3b4ad56d435 3465716 libcoq-flocq_4.2.2-2_amd64.deb Files: 52d32ced8dc0508276bb277de3356463 2040 ocaml optional flocq_4.2.2-2.dsc 4db33be7df4d7307ce4e011e74cf8c94 329748 ocaml optional flocq_4.2.2.orig.tar.bz2 0737d6154e3eb2927e3103962690690b 2024 ocaml optional flocq_4.2.2-2.debian.tar.xz 8c1aec3701701c5e4fcd58fd2944ec1c 6876 ocaml optional flocq_4.2.2-2_amd64.buildinfo 2312c6765e46abc164705c697b950755 3465716 ocaml optional libcoq-flocq_4.2.2-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpoeW0ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUe3DD/wM6FUUjD5hJO5IAFumb05B jzttbdZ8CvngigHp+ZUe2OIeroFwcIKIdRQjEget7bxsN7i0jfiz+MPpZw5UGzfv W/VPgfZ18c2cmHTKLEH7kjht7JjQqseOUu4ruFGxOMxZeNHPEX34Qpn/guncd9hC sxrUcsqecWanqOeExR3hGNJ4+C197PD68L33tBnNWTySf3G6YPS1/xr5Cv8sINz3 RUbng09+jMK31YkkeM8RNMI2byErzub4ZsGPLdabDZld3acUM4rk41eBvV7z8tOj ISndPYOcHKrUrX2jElTfaaOVTeDzRyiiY2wmMxvQFXAYISgSMnsr4fL0vwMlj3xH zeLGyxQXFpfvigsXf2xCDLXXD7AO5Kj89Kk4tqUX/hopoUL1LH6OFUkHJ4sHz+TJ B3D3KAegv80bcqtHaX6RQG17pasVWIajgCxdfkolOgZvq7WF0NRjfKIcCal0QkGw Ji6p3WagDQgnL3G9lh2+243z5w6+UzJj37TPgfhOUOEq9OOEqy6rrFerIi5tbR15 i5vwxiVBZ7AMIAk5YJB2+QwkVTzSPRAHz+DuJdU3v4AHDkN+MSIYnfoq8Hzug9Ls iwqyLY+rnRRNXI6R1LQ/2shr6LXhy5Tw5Gnz8DBl92V676PjPCaCencvGj/xBRmN +bc9uo2ZJ+GLNiab4EVRiQ== =lzWF -----END PGP SIGNATURE-----
