-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 20:34:42 +0100 Source: coquelicot Binary: libcoq-coquelicot Architecture: source amd64 Version: 3.4.4-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-coquelicot - Coq library for real analysis Changes: coquelicot (3.4.4-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: c437fecf64f88b7fe1898052e7060cf410741b3f 2107 coquelicot_3.4.4-2.dsc f56d02a0d9efa1b6a579c53edd006f992c50a170 2400 coquelicot_3.4.4-2.debian.tar.xz 640e634c63ab12d0e6d0202773a947cb29c6899d 7409 coquelicot_3.4.4-2_amd64.buildinfo 75b846b1259579007c6d95d2db8bb67ed44bbb96 3388372 libcoq-coquelicot_3.4.4-2_amd64.deb Checksums-Sha256: e765b3bea6afc64c6a044639f11cce12a4b6441549d0cbd257138bb88cd78036 2107 coquelicot_3.4.4-2.dsc 2f604976ae0449a32f43637d3862cb804a70b37dfdf4d721f585b3747eceb079 2400 coquelicot_3.4.4-2.debian.tar.xz d0e8901f63c73b241420e84a5b683d9db428cd117e44b90ce9e0530daf92e3c2 7409 coquelicot_3.4.4-2_amd64.buildinfo c8617ea06682ddf949e44f5984ccf5ca1c172c194e80b8a4647a8496592b12a9 3388372 libcoq-coquelicot_3.4.4-2_amd64.deb Files: 89867a9ef459b03cb6d7c98532be7a0c 2107 ocaml optional coquelicot_3.4.4-2.dsc cc6cf2017d618ba4e17de919883ab298 2400 ocaml optional coquelicot_3.4.4-2.debian.tar.xz 2b99d76c587dacdb40d223c96c4e415b 7409 ocaml optional coquelicot_3.4.4-2_amd64.buildinfo 6927aabf2d445fc31d4640c5d015f3a2 3388372 ocaml optional libcoq-coquelicot_3.4.4-2_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTkSUZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWSdEACXtQg3sWcAhoZWQClQZYq+ D8/S+TJg7IVdI05583nNCOJe0hwMHS5Joo+pZnstgX+eJY6NyHgnK/Rmvh6tU5uF hFqBaoMkw4gNR7guoXpdjvBZgslbcU13X+0hz1180AiDUCVP4uoOxBtdlbpgExQy vTZW9tBPCfbW61hEBgdiRqnWzLbvQxthwPXGZtZLgFCco/wxq9AFiBLsYf50z/K7 uUht8nCbZe2gtWj0zioLsyTX3AoWTKgmtm66Nvp/sgGLVf6+qHF/vx1q6gKVBRxQ Q6Nr0hMzbLY0zS3jG/gZMYnSocOafSAMskwfhO2/34Hq+pI6v+NEEd7GPnjptZn5 vjuRfzEtiDjlD1JfRHZeTPC3iHdq8V4bbWingydknQvvI3LGrk2dA5aLIuXRmkLO tmrfhaZdV1TrywY+plrlQWSraY05vCVm+7uev9lK8mVkXsj+pOsQJY8eJ4ANBjtz ABXGftmW8aC/bOTcvfm0hooPWrmyat5cAIjkjxxtp6rvr1scsQWD7lwVVl20MBi3 l4oEru9K2hCDZFTVnQGQXh4AopO/6Kr/PYIvsRkaETzzhdSVPdojdYTmHj/KJ0Kr pxzaMu3+NY1fzV9ci1Qr+bkOyHjYfwFk8KjUNv8PXLz/tW9Z9ToSYj+JgdenW0Ko 6sEiJLVynrPpzv2QGfextQ== =76QN -----END PGP SIGNATURE-----
pgprQ8zUF3aD6.pgp
Description: PGP signature
