-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Jul 2026 15:05:07 +0200 Source: coqeal Binary: libcoq-coqeal Architecture: source amd64 Version: 2.1.2-1 Distribution: unstable 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.2-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 66ae255a048733cedb73a24b19727ed50cf1afe6 2163 coqeal_2.1.2-1.dsc db51fe2516ea1e69e6745f110bbf3ee64456db43 227558 coqeal_2.1.2.orig.tar.gz fe11eb3ceeeafebc9271f60d67559a18fbc5e962 2536 coqeal_2.1.2-1.debian.tar.xz 2dbc2780bb5c60393ad046a285c57ea6a28547c6 7889 coqeal_2.1.2-1_amd64.buildinfo 429ac2a08229f4c7e988198ab47d2b82cbc73da8 6281972 libcoq-coqeal_2.1.2-1_amd64.deb Checksums-Sha256: 3cb310130e66b2dfd93c217271dda9ffdb7f4024ef92fb09c75347a0f6bb2963 2163 coqeal_2.1.2-1.dsc 4cc9f8735dfe6b9eb62e1bde8d7bf50c98621daa012b97634b7aafca03a18b3f 227558 coqeal_2.1.2.orig.tar.gz 40f0207d981850c9d6e19123927b8307f256dbc9b280ae4651ef2320d35e87b4 2536 coqeal_2.1.2-1.debian.tar.xz e3bccc6ec6351bbb3b030cf871ae4e89dc5c4d1477daaa853402367ad737b058 7889 coqeal_2.1.2-1_amd64.buildinfo 074f33846422361c251af62fc153965c49a7c058c05ee848f46a59d60fd9a53f 6281972 libcoq-coqeal_2.1.2-1_amd64.deb Files: 0d7de38dfbb6f19be0f954b9e04e7952 2163 ocaml optional coqeal_2.1.2-1.dsc dc9b861b87233f88030a94721bc1e53c 227558 ocaml optional coqeal_2.1.2.orig.tar.gz f34c7b3891120e58ebbc2d4b2b1c8e33 2536 ocaml optional coqeal_2.1.2-1.debian.tar.xz eca717a3d558e2bdad8d97a44b048a1d 7889 ocaml optional coqeal_2.1.2-1_amd64.buildinfo 2cac75b02500ad85bf7db546a72f4843 6281972 ocaml optional libcoq-coqeal_2.1.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpqFqcZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdfrD/wLq6DWS2Ws5NsFTWIq5zRI +dd4WtbuafVW7qukqZEaeJ6pcZkE6j1NzyMHh+e3rY+4tj0shH2PaPQnC+JR7/jw cwVHc7A8SRYLIeBJgVasCp2SJMUFyOL/ZArBaeFs/vUrDilC/5OA8O3U2Lg3Wsac Uf8pEIrCdD5PMGrtlzKfl1QvTUZVnGINxsqzKObrtrK/E+EX7cp+WTAfRMb3fzey VxhWtoE8eMOiLZYK3Rm5RmiDo0vHiFESIZ/iQmGslHNuLiCLtQzg8nDJq0BlU+1A 2whH/QKHZ5B5OyIucz6UNEL8ST4clghVb5O+erS+L0Fm9UGR1NuOXcgjqygj7LYU AiDkd4PXJgrK+4gkzRaaR5QiRqHyfrcqhs4UkHOpJUbWnzK4kDVQHOnJ/ewYYoh4 tYYyn/Fh6mwajnLOz8RfuLiSWIu0siwj6NFI9Qt6QpIiTbr8668K+gDB/QTgBmZo pXikzUU210fsHCRh3H00iZ+Ua2TSI4Fb522jULjdRIyOEsIFjUfVH6WzgblQ1zdh VHUswpuZ3gQV8Gm7EfuqIqBz4CNlZGAMKcLHGCuRjNGpt1v9ZzVl2J983tAQQ8FG 2qAj1NH2f4ZWBWxCiLb2a/8UBIHW/9mIC7AnhQu9VKCNVMSiWy4+SMgiMWleq00c /Je1zGXJQwJKOwRv9or+0w== =F4ms -----END PGP SIGNATURE-----
