-----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-----
Attachment:
pgp3BBu18sK9U.pgp
Description: PGP signature