-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 18:36:00 +0100 Source: coq-unicoq Binary: libcoq-unicoq Architecture: source amd64 Version: 1.6-8.20-3 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-3) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: 097994c80db5789170631cfc72c02a53280b6892 2103 coq-unicoq_1.6-8.20-3.dsc 8d775370bc5b56bf9f86f327b0d1b97a6d3e4055 4040 coq-unicoq_1.6-8.20-3.debian.tar.xz 24010a20b6ad920a15f7027fbc96300a86092c2b 6816 coq-unicoq_1.6-8.20-3_amd64.buildinfo cd472fa5f1fcff1ec223522b9b7bf8cd6bdc06bd 86576 libcoq-unicoq_1.6-8.20-3_amd64.deb Checksums-Sha256: 4a34637246b934ee40ba4ab7af715eb16a194382c639dff46f52357474f0eafd 2103 coq-unicoq_1.6-8.20-3.dsc 676501a93a580311108cd829e3577393bf3a0762a0d10964eb99e4c1eb45b1d4 4040 coq-unicoq_1.6-8.20-3.debian.tar.xz 53590bd852c8392523f0b7f9f2eb48b0215fb2ced2ad85a2d049033d1625c3cc 6816 coq-unicoq_1.6-8.20-3_amd64.buildinfo ff761b30232cf35770154d656a443025adafeb0b60b5a8a3ce5094e15ce8324f 86576 libcoq-unicoq_1.6-8.20-3_amd64.deb Files: 2c863101a432636ec87d0fd180574377 2103 ocaml optional coq-unicoq_1.6-8.20-3.dsc 40d5d7ecff300285ae598c8a216a8caf 4040 ocaml optional coq-unicoq_1.6-8.20-3.debian.tar.xz a120199e31c18fa322967ad603b7b93d 6816 ocaml optional coq-unicoq_1.6-8.20-3_amd64.buildinfo e16893055a45e2d846ac83e56d414739 86576 ocaml optional libcoq-unicoq_1.6-8.20-3_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTdLUZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUmBD/sEbidbwJVvhMxsRHTxnzhZ DkNaieD6vne2OxGDAoLbQ6apXqIpk6ZITuNTan9XbkgCuSd4AlLMQ158zvdg+7jU XAY4NYh8hIhgCtkVcmxnSJfRPqDTqZkRstCkPyZj+U04zGRvEt0wjhjvMnyyrtlT R064PygZotXNznMo0IkiMXJpREd8p5iytbBX2WmcA0xK8MYk5okmd+3ZpOwHcH4f IjghDmTt+GcnwzFO/uJw/uPqkFSjMtbOKUhPXglBzSgpi45T/NVrp/G53ttUzE40 RHqiItPyEy6/ZobtI749XkadGoz5iJ0OUHWEIrwfkWyZft4oqasCg/bZiYvHDvmM U8p6lEZGhMiiUS6AMI1QJSGaYrE1me0X3svnnBovezTL1u8MxJoZTlREEjJouTZs 9WVqhFw8jfQZTe3XEcyctbh7owd/yTCBvbDAxJ2ut7vktk9J5fDlvaty8tuKf7Rr stI5YmqX0zdLVXzMk+6i/OgGccGEYjkkmljLxOfVWwjJ+Mj6r9NL6HQA4pfI9hku w0L6XZ1GD1P4irfQP08AdViVaYjEhIW7g7NwxELbc2dmGx14GadH6KA0fU2egYFc GUDIH0+onAq9ufHbSj5JMAeZ/lg6ugvYrDGrbgloMrzfebc0sWWlrX9mJo3WYtV2 TWClzD4LxCYsPd+6TwZRmg== =G9LO -----END PGP SIGNATURE-----
