Accepted coqeal 2.1.1-1 (source amd64) into experimental

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 30 Oct 2025 08:30:56 +0100
Source: coqeal
Binary: libcoq-coqeal
Architecture: source amd64
Version: 2.1.1-1
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-1) experimental; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.7.2.
Checksums-Sha1:
 ea47cbedc8f658ed727316206b147034af74f2d7 2156 coqeal_2.1.1-1.dsc
 a4dfd7b5fa0188702742e7b9bd2bc346f2d16dae 227388 coqeal_2.1.1.orig.tar.gz
 df9e05ab8c077cb6c05b8770794bdfba63676510 2456 coqeal_2.1.1-1.debian.tar.xz
 9223078c18ee0d90aedcf393e44f89946cc6337e 7727 coqeal_2.1.1-1_amd64.buildinfo
 8aa222f3cdbc42dc186b778ac749529db378e9e8 6408564 libcoq-coqeal_2.1.1-1_amd64.deb
Checksums-Sha256:
 8307b12574f76e955f1881b480e5b72da3f689477e0d1d9db82bd75de6663e9b 2156 coqeal_2.1.1-1.dsc
 be541b0560704b42dc420e7bc8bc26149704972d5ffddb433a037f4dbea5541d 227388 coqeal_2.1.1.orig.tar.gz
 3fb3aefe881634d76796e25919b7fa7708cf13cc6a2debab4dea1b5a0cb66e96 2456 coqeal_2.1.1-1.debian.tar.xz
 6b85eb75a1eb701480f5d4c1818befc488f4a575d0e6f9e317324901505fe938 7727 coqeal_2.1.1-1_amd64.buildinfo
 c94d980847fb7001a3b00a631a256db5e05c2c90b7621db30f294e87920205a2 6408564 libcoq-coqeal_2.1.1-1_amd64.deb
Files:
 2e76b5479b3c57ac1e63c49236abd727 2156 ocaml optional coqeal_2.1.1-1.dsc
 ba3554ea48fbdc11d866b0b14760c6fe 227388 ocaml optional coqeal_2.1.1.orig.tar.gz
 aa5bcdf86ade5c21d2b925ab57e8e22c 2456 ocaml optional coqeal_2.1.1-1.debian.tar.xz
 5dd9b94b8ce268c533a71b0ec926a14f 7727 ocaml optional coqeal_2.1.1-1_amd64.buildinfo
 4b01dc94aed3209ea46b6edb626a824b 6408564 ocaml optional libcoq-coqeal_2.1.1-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDKHAZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfQpD/9BgWojuMtL9ossd2SwxVkB
87Xl2xjeB+qRFSbnOx9yKaLJ9A3qJXYpdGAzqM8sNH5GqoUKwU6sbQKNV7/ITFy+
HSvEi2L80wyQhEEmNk+T0e53ZzeOZyZWkPJQEPThM+DNc3r2IUh4u70h2kgMphqi
auyniu6rIfg61IOnclrUCDAj3RaXdU3gsAlHPpWuANgs5SNdpF52Z/FSv/Qwp4Gw
ufuq9e804JlC5ELAZvjwXKIXRNmp1ZIqZktPtn7+3NUXSoqIcw0kk5KpWo0fj+I4
JWadKqBBehwm1ozZpZsg5PkQjkfuGkijFQ08lJlYMstSqzSwqxaI1PTrxM/dAMBT
8pVq47+7ofjTw2bdzLwQTEmUJXidns2wvekQFaPvMVJl3ZSu4s+nlON2MKrWHmop
RZ0VgmU692EFqonlZbqHF52GT27GkoIjxbJDo7JTJYnu3kX7y3kZ5GCX8fBkKPP5
R+kcHVW8WqWPawnxb7+bVwMmHcn/PcpV0wUhmMpcnJYqjBqkNqHnq7xrtjVZ1R6H
wVoZLbqHbvcjxBiKwGvtE8cs9bSYewz5bEvyQcO1crLiH8uAV9TcqRzRRrQohi/2
8+5+tSjBdHjXgYN4qEQZRLlvZTVwL+37GLv+CCL+5wc6dstV6pZUyb1KTrM/gDcT
vpiTZkb92kou4QgMTELzTw==
=RvqC
-----END PGP SIGNATURE-----