Accepted coqeal 2.1.1-2 (source amd64) into experimental

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