-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 17:15:18 +0200 Source: coq-unicoq Binary: libcoq-unicoq Architecture: source amd64 Version: 1.6-9.1-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-unicoq - enhanced unification algorithm for Coq Changes: coq-unicoq (1.6-9.1-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. Checksums-Sha1: 2a87e79985cf46057d647c021882bea245fa063b 2096 coq-unicoq_1.6-9.1-1.dsc fd5e166b3cdb9024375e67b1edc0ef0a9d2d4c5b 594021 coq-unicoq_1.6-9.1.orig.tar.gz 2b30a627882bc039be5977a9f6a00cb538704917 2836 coq-unicoq_1.6-9.1-1.debian.tar.xz ca5106f74691ef702b948d62e921a2b8c5c95b66 7404 coq-unicoq_1.6-9.1-1_amd64.buildinfo 3f73edc83c5dabe6a4acc5fa1766c1d74fafe390 86064 libcoq-unicoq_1.6-9.1-1_amd64.deb Checksums-Sha256: 9c3ab10d3a846d10964eae36600a8010af26cf3409685e08b39e20bb071f719d 2096 coq-unicoq_1.6-9.1-1.dsc d25f20e0d2b04dd6838f67b867fdd3fa94c165e73b9a4682158b2b3ab4dda3d7 594021 coq-unicoq_1.6-9.1.orig.tar.gz 55b004f1da30cf75190adaa33339338658ace1e739d8d033282d846d92e84581 2836 coq-unicoq_1.6-9.1-1.debian.tar.xz b1f31e76fc078582f6712c1c27bd73c9c2c77883af9859c81e32cadbd85bd784 7404 coq-unicoq_1.6-9.1-1_amd64.buildinfo 03f271af6ef948c6a3d96c822fdfc1c1f58d4a8f0c601e0097cd81a9efc708dc 86064 libcoq-unicoq_1.6-9.1-1_amd64.deb Files: 3b9436e0eeeaa64c4c5441a51bbd74e3 2096 ocaml optional coq-unicoq_1.6-9.1-1.dsc 7b63eace5f3d2a38779195f8bd389599 594021 ocaml optional coq-unicoq_1.6-9.1.orig.tar.gz 36694c4f758b7f88c63bcb5020be0ea1 2836 ocaml optional coq-unicoq_1.6-9.1-1.debian.tar.xz a4f3b59d10a3f3f14b547b41e4053083 7404 ocaml optional coq-unicoq_1.6-9.1-1_amd64.buildinfo bbea8b25b0a3de93f0e5cf0e1e7c2e9a 86064 ocaml optional libcoq-unicoq_1.6-9.1-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRDXYZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfJmD/0XGYM6ltQTJKo8ecDaPTs1 ojnbvTPz4Bun+FcRImwwkynjAVZd8vfNRJ53vL6jQOOy4tiG2JtXbpCSNJ/zgVXO l6Ds6bJcuUX4J3m58hC4pwknnQqpuzSqVCD3YV+WNKKZHo8dyGOvNojGIxRCOxkC HNDuJ1hQ0AbaRR9whpg+OuG+RimLhmgiidzMoa9pLdb8dxGWXVICzH9AvtGbTUDX UlGcIut9JMxK753Yu1hFjkpmjmwW5JUh0t/F/3Rg0LlS58QBhuuVxh9CSZnpMH7z k6q9/wz4lE3CJ93EmX9y3JqcQwfLIshCI2xuqdefa4LPC61HHK2/rVcdhZYtVI1N PuGmZnNj3IjXHOhyGc84vK3tBso0BDZAihvq+6ZLoYmRVCeidxrAGslp1hfPhE6R 97rLD5d1hs8WuAqPrcS3BIVaxm4ohYyI0X+NPmW5thts7dl5wjFDeIkR2tJnw/fy FCNDIOczXY658MAuQpU8T9yC4N3ZcOR06JPTb5bfr9YCY5qNLQ4I3ApJvoPq5IVy UW3bgfUBnLiec0WuzQ6K4A0+0GytiLaRsdtdD9QXdfx3AmqbtjjRaLUgVcSw1aob WEKsSyW51WewZi1couJl/AsLtGbU05ssdLpKCCMd5TXMc2aI/zuF/asH/o1F6pb6 4h+Ng9REZz1RnW+N0paeMg== =SvHG -----END PGP SIGNATURE-----
pgprgywGZVPa1.pgp
Description: PGP signature
