-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 20:33:22 +0100 Source: coq-deriving Binary: libcoq-deriving Architecture: source amd64 Version: 0.2.2-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-deriving - deriving MathComp classes from inductive types Changes: coq-deriving (0.2.2-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: d3cf313c2d9c0ae42e53ad64680d714535779f71 2132 coq-deriving_0.2.2-2.dsc 8af1af7d04fe4a1f95605284a0fa691eda301bc1 2344 coq-deriving_0.2.2-2.debian.tar.xz 1b24ec87e773cf5462554c0902293de3e8abec50 7408 coq-deriving_0.2.2-2_amd64.buildinfo d8af7f09a92788e4cda8a5180713e4d297c6643c 655916 libcoq-deriving_0.2.2-2_amd64.deb Checksums-Sha256: fcb15096a1de1d3d5b23fae35e22f17a99a5434048340ee6858d5fec01ea65a7 2132 coq-deriving_0.2.2-2.dsc c5007f31c1044b254dab3c8da69d752ada3a8a6b5341e180416a191e1850bbe4 2344 coq-deriving_0.2.2-2.debian.tar.xz dc6fde9994450b305ab9accd605984f9656cd780b59a9648d173b2e73d3842e8 7408 coq-deriving_0.2.2-2_amd64.buildinfo 18b864ce8d388ebb1c9f1a6d80454584e46f4be2a0501a1c0e370f195b93a22b 655916 libcoq-deriving_0.2.2-2_amd64.deb Files: 771d09ecc18c567cb28c43969e7c9404 2132 ocaml optional coq-deriving_0.2.2-2.dsc 8975736019f08943f54f781383ef809f 2344 ocaml optional coq-deriving_0.2.2-2.debian.tar.xz 1b89c226919f0961e18d4ed214e97c2c 7408 ocaml optional coq-deriving_0.2.2-2_amd64.buildinfo 24ceeb53c7755b466d5852e3987e143b 655916 ocaml optional libcoq-deriving_0.2.2-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTkIMZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUf2ID/9Ekk0FMqt8zJY3E5LHc1wx eMZ85HL3J2zKiVvyDequBq5Bv9boVuZXN4TntwLyCND7+r0ZJzEQrdqSakiRb5aG IvHq9laC7JQ0SnXauQM0Qo71sot91kJwvFCBWoCnd2DgymOB7ipsKhwGAlJB76h/ WtZsUWlkl8Q7ownl2GWKZbhGS+RIzIUU/zpEX8/CovSGr0hhPksS+jFt9MqIzzoT +Wqj7L3u3uBRBliW6HZiYnBY4oF7c/wvsGERsRgHWWFivq/YdbDdhiNKmSodu7qw OGZ5mP+Nr9+3SJcvpSpq1bGioChN9lY+79r+Hp4n4ToX9KVsnxMWqP76flTMPSXP 1fIElBkG+WZIkYlBInilMf+bN0UPCord2EP3N3kvSefgQhF1kal3+UkXkCfYk6AA tA4RFFaKfWWCYQ+BUnCh0t4QT/xtgg55/osPLZI+zPo8ujioFzKPM8Xgzf5tV6+Y j9s3btzYUT5EyZTCBznFqvNB3bh4RbR6QV9ZucPvpmCXAxfQJka6Yqh6S1G6PNsQ vYHJP7Z8f9o3Eojtr19HhxBYBNrf+nbSK8tRQ9GJpMOZBUEUvtpX1Vt41trotf7f 9YsTV7L66Ju0ythvK2ijjr2t73JuCVKSjAQer8r9rBE1RE9+iU3IFNRlgpCJCGUY EbIxVccWADE6SkxbT81bog== =yc8Q -----END PGP SIGNATURE-----
