-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 15 Jul 2026 16:04:15 +0200 Source: coqeal Binary: libcoq-coqeal Architecture: source amd64 Version: 2.1.1-3 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-coqeal - algebra and data structure algorithms for Coq Changes: coqeal (2.1.1-3) experimental; urgency=medium . * Rewrite d/watch * Bump standards-version to 4.7.4 Checksums-Sha1: 2671a038d2c9a28cf111870654823c02e761256b 2163 coqeal_2.1.1-3.dsc 0ca4ea79f2ffc0e733c9185930fd372e384a5968 6724 coqeal_2.1.1-3.debian.tar.xz 399ea2fbd99ba6e19f6f90e93e801bc72b1ae759 7958 coqeal_2.1.1-3_amd64.buildinfo 769fa04c35ebf1f470cc9d342be752d276e1f4e4 6285636 libcoq-coqeal_2.1.1-3_amd64.deb Checksums-Sha256: 86cda7c2a5f7daf466323650b42e893422b80c922d66b93a42d91de8f644d0f7 2163 coqeal_2.1.1-3.dsc 1ffb22710e54f202306a10e6da2f5ff1680e1fd26f479d767048c3a89e9c3b90 6724 coqeal_2.1.1-3.debian.tar.xz 568173a3411fdf4aea7b81f210639b2ed01edd8630f404db7b9cb7c913233292 7958 coqeal_2.1.1-3_amd64.buildinfo dd3bc3d1644a59c4e5e84608bbeabb3d3f92b0f24c077300f22fff08577ac7b7 6285636 libcoq-coqeal_2.1.1-3_amd64.deb Files: fabc0330c3bb0046f045185dd88d8327 2163 ocaml optional coqeal_2.1.1-3.dsc 28ec562570ea9a0246a1df82f0131885 6724 ocaml optional coqeal_2.1.1-3.debian.tar.xz b8a08712de5edeca58e6936036965975 7958 ocaml optional coqeal_2.1.1-3_amd64.buildinfo 49b6bcb7c84db82ea5093e063a687a6c 6285636 ocaml optional libcoq-coqeal_2.1.1-3_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpfFjAZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUa+/EACM+GsnAfmeJKo1RPMo977b X2ya6iZSl73FGKjdRHSK9rtkF+W7GkZrTmv1W4dn6QjiwYPx0CLpw2jmZLmX8W7N lQ0+qGs3MSi0Jp810WNjbdP4ocWonWbfmtUgLM15U/HPb3tJmSOlRyclLur+Zksc Ps/t/R2EWcrwBOxYUbtZVuM56Wf6vuZ/RYixC+Bc01YAR7W3C17jWU116eXfSoQg H2307mEAQWYUrXUEuOQOvJR1VFt4pJw7e8jGrK1sHxJg8SrMEshWPj0jQ3bXk2rd zLzVbpqI5W66+ALIa/++Eu2bqj/5LDOGrjVMVyn7D7QlxS0dYbCr3C72HqBWVuPS Rq0TGUFADhj1Gn7ID6SsyDmDPRx3GcjGGDoR/DawdX5XYbXyZtfF4Z+c4/F/Pwre KA1Sa0KnAWMUNZK3Sbzg2xFoZ75CwjOL5acR5XioHGUToi+bBuZajq1WqsxxmJrp HRdt8z+Zkh4kz/VyBxhJ7zYStLH0g/gqxezcYWUltTOmP9Tr/SK6j2KZ8oFABVKM 9pcUJADlt7myZ/H6vf+KVqstDSMxljTY5graMkLXIpr/qZey23MprKYWdx83/Rlu oSY2NGBFoxP3Xzcb5eqDzRkarIxyOWJlXpXn6IQuCFhXjYV8GeXsNOCXgiAlbs/b igvS4a72jwzTaujs3CMrZw== =0Vm8 -----END PGP SIGNATURE-----
pgpdx5BBk_Ugk.pgp
Description: PGP signature
