-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 09:30:01 +0100 Source: coq-unicoq Binary: libcoq-unicoq Architecture: source amd64 Version: 1.6-8.20-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-unicoq - enhanced unification algorithm for Coq Changes: coq-unicoq (1.6-8.20-2) experimental; urgency=medium . * Bump standards-version to 4.7.2. * Update lintian overrides. * Drop useless dbgsym package. Checksums-Sha1: 44622d358f1955604ad9db85311e804e6f2c28db 2106 coq-unicoq_1.6-8.20-2.dsc dc49a9ca2c320b46aa7cc0043d682fee3a03685d 4012 coq-unicoq_1.6-8.20-2.debian.tar.xz 275bd78a5dec610affda62733aefb7f8feec635e 6819 coq-unicoq_1.6-8.20-2_amd64.buildinfo f2cd648d9b34d0f76147ca6c76e79e24d67c24b6 86328 libcoq-unicoq_1.6-8.20-2_amd64.deb Checksums-Sha256: da5e1f8dfd28dad4237f7d1bc7b5219712218c8cbedb734272e22aa82ccce707 2106 coq-unicoq_1.6-8.20-2.dsc 210ecb6381adce03bae9c22ef525e07160df9eafae191f2a03274491723ca63f 4012 coq-unicoq_1.6-8.20-2.debian.tar.xz 6a260fc9e7304789b069be7c64886c5a317ab259e56290879943f844d30039ff 6819 coq-unicoq_1.6-8.20-2_amd64.buildinfo 95473227f579eb7b2b508f94b7e50565f63d354bb0e823e3ee634de7c5dfc44e 86328 libcoq-unicoq_1.6-8.20-2_amd64.deb Files: 7261bbaa697c40db5ff823a39cb14235 2106 ocaml optional coq-unicoq_1.6-8.20-2.dsc d0fc84f5656a2d66d34bda3e06f314eb 4012 ocaml optional coq-unicoq_1.6-8.20-2.debian.tar.xz 0ec75c5e276fc180185ded62a380d17c 6819 ocaml optional coq-unicoq_1.6-8.20-2_amd64.buildinfo 5ac0b38af112d4a97f65be36f7d85231 86328 ocaml optional libcoq-unicoq_1.6-8.20-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB0VUZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbm/EACZi5R0sXdpoWkxRbURbrHA hcZqpJODsAmBltgV5YJuZXVAXq8ChpVe+xA3eK1fiBb4lZ1yqM0HKSISfD4xf1Ko uUpWkqGHUeA+9FN4g1XvsEd3mq7m396nNzY7dJYzRHHezMLOjJxqcGrbo4esUyP/ FR6sk2MLL4wsi86XOKKtK5p9aDBZQHwVScbkDxl6HL9xSsvD7aN4fyy7msWzIQdT S5oUUVAWchP5FErZrX71GeyjFaJfMdLYj43knMz938eYOBIqAq4hSTyNsa4BQQvW llPTT7GD0ZDmkfQZ3SSi4WHEcFSaEQoy0JeOF8ZKgu6eNj+ldFkA00bT/5qo+3mX AA4ilBP2t2N5zyWkhBBbdsdmC37cAfUQmzmE6deDXBsiL5KdrW7JAbO8RI8L5U23 bQouFWylKaXe0OnYZ26MYW23xdCCvTpw60RcJ82HwowcUhcKsFrvFM2E9hZT2i31 zuuPkAZxfgBdQq4bGBzZBJKKM9ihxuQZ5U5dlVGTG91yAfvxlCAOEcUGzOpR+eDG I0GmghEzdyxcECFZ+kt3gUHlO4+cNWD7y3RYsqvZ1fE/PQzz0qjYchlBgQiE/UCN brdzTW29YUBmIgGzw6j9OI7O/dUPEA6tIW9rnoeNeuf2/I8U9Wwc7ORfshtVG33b S/2xJ2xDJhcH/uNqI8TceA== =TNE+ -----END PGP SIGNATURE-----
