Accepted coqeal 2.1.1-3 (source amd64) into experimental

-----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 <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-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-----