-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 20:58:15 +0100 Source: coqeal Binary: libcoq-coqeal Architecture: source amd64 Version: 2.1.1-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-coqeal - algebra and data structure algorithms for Coq Changes: coqeal (2.1.1-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: 602606c661f978de7f8fb177be41f885e830161e 2163 coqeal_2.1.1-2.dsc f252808c5e65866a059a3c87778b76f8f858b92b 2500 coqeal_2.1.1-2.debian.tar.xz 219696b797d849913c9dcafa5154278a584712c7 7724 coqeal_2.1.1-2_amd64.buildinfo ffb731269988fe986caa9c2b6c482a94f21c24a5 8402932 libcoq-coqeal_2.1.1-2_amd64.deb Checksums-Sha256: 50e33008feb4edaf84067e95b43c94f28b9c116b038f3dacef616d126bcfaa64 2163 coqeal_2.1.1-2.dsc ef91e9d1cc4e4571cc546048d5db5926835f19f8a7f274431d36eb81457fb472 2500 coqeal_2.1.1-2.debian.tar.xz 38d9ce1b19ef02d40d6ad8bac774666d9823b676ccfad0d501bfda9f07a8af07 7724 coqeal_2.1.1-2_amd64.buildinfo fafc2da944a597468bf30be6420134da8f9416184389176ac21f227397a1ccc6 8402932 libcoq-coqeal_2.1.1-2_amd64.deb Files: 9b3add15bb45f1b8e5144cc44bd2396f 2163 ocaml optional coqeal_2.1.1-2.dsc 2c8c05e564a4a3d6de7fe15ed997ed1f 2500 ocaml optional coqeal_2.1.1-2.debian.tar.xz 2eb9a4f74b250d630f693ff311dacf48 7724 ocaml optional coqeal_2.1.1-2_amd64.buildinfo 2974e3dcc1bfd21c495f5efdce60c226 8402932 ocaml optional libcoq-coqeal_2.1.1-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTmBAZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZO2D/9Upf5V68ScUK6cWegSJs6K vhihZbGTneNUVielA/BhXqBQCqbmhSvJRRniZu24mePf2SQfDsHt9vqMAeNDajN9 Vv/xXo5ICm/+XuOjvxmc5J7evNGc5u9jeArBjPBCCQv3icXDdtoiyaCEcshj3PQt 6sNQKXnGpxG6NSpWXiO++H/gCe6qWqFGqAiRJkrwxRf4QloHMgt2iFOHuGqci67P 7swKEd7+ARcxPHM9du6ypShn5Y5MvN+j70suDWgCYIqH/H9dSLhn6EtEoqW8/CNs 8UVDmlOXB6EunK3E9CeXV12cRr718YEzU00YVkeMuN1zD55Hs/7geDeTK/SW0xZl y7K4bipwXMtWg1xLk8jG7fNmeSAdAO2cU5Ar8nq1vvLTfZQ7YZ+W6oMflrByH6g4 W8tM3ivFDb83sX1YaMQ1XpYLogweMdZB7U+c1pnlt08esgyBOAsjzzo3lfwuZUcy SJF5lce6xB8so1eU3pRCK0NDj1djmZPnWGqnDsd0PEaNWAMcc5VkRlyUP61nrzfA yp/WZ3qkDcEV1DH6Zf5hN/uWdHJ6zIJedBYHztnB+CDqVZImUc87/CQCMfzyEseM AY8BItWVcgAn8phiJdJdae03IrE0Kvllml7zCbeK0/BE/eHkcfvZvCQvC+THz4Ek A585k9gYUKWH+fGLWWOdCQ== =p9XW -----END PGP SIGNATURE-----
Attachment:
pgpUImpJ3yIvv.pgp
Description: PGP signature