-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 30 Dec 2024 12:11:45 +0100 Source: dh-coq Architecture: source Version: 0.12 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: dh-coq (0.12) unstable; urgency=medium . * Make the testing tool handle packages without corresponding test. * Add the possibility to specify a switch for tests (needed for unimath now). * Add a comparison tool with the Coq Platform. Checksums-Sha1: cf2ab7071cf6b240e8700a114285fcade963712e 1670 dh-coq_0.12.dsc 824b38dd968ea2488c752fcd8d27c89dede87f3c 10000 dh-coq_0.12.tar.xz a49886d4810d7f54d66132f24ed4e0ec8c264448 5998 dh-coq_0.12_amd64.buildinfo Checksums-Sha256: d16bf27cceb2cee8f91fad7714bf58cfa9d58e89a7fc489faa7aba4a9211e44e 1670 dh-coq_0.12.dsc 0e635ad7e487313e983bfec6501f960a158c4fd00e2f78efe6cb474bbb74fd4e 10000 dh-coq_0.12.tar.xz 6d396495e05f73bc4352c47b649e09d2bcd944218b256489c631a04555c4f194 5998 dh-coq_0.12_amd64.buildinfo Files: 1f835535702bbcccdb27a6064743b2e3 1670 ocaml optional dh-coq_0.12.dsc d1b803802aa95522659b93f3d5c13148 10000 ocaml optional dh-coq_0.12.tar.xz 782ede13eb02ae8f84757055c0c04f06 5998 ocaml optional dh-coq_0.12_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdygaIZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdIDD/9dA+6UvWaF7nwGVvX4pdg+ pbBemam/ZpLqmZsqApfjsCdqicRGOJ1abcFHaW+7vHERqkqel1aT4iPQJ0jAKIbR w8DyhUxgHisWRUuexbenMWrajHG8CBRsBnXSw7rOjf9rO2UrXZgNIhlWA3TmZ7du 9yC0Y1m85mrxjK27a9x6bNmqsEwHbp/5Z61f2l7G18EoIc52VAWhBV9Qh87rxz9y 1qI3wY7mgm8BsfvKAevZclpFXDlA7zD5sW0mAn8nOv6wqXJ4V0XlNIrT53/s1No+ zzx6EzGx7tSlb3EK4YCEw9qDp6wZ1ZEQXuW4EiCAi4dRAmtV2MN4Gwll3FTTmnQo dK6n2d3L2eAVKTkNHDEwr13ximD+5HDlrQr/3xIDsURb99nyE+5jxF5otxCdLJcQ VOyr67lvKLJ3ySoVeQfa67R8DP0KdA9cXOFl7GKWTPYXwQc0FEzvvod8bgVnVKI+ 98HFJ5p/NtQ7Lcawg50kgzsNL/ylBUyXB+/vePovq+Nbs8WmMk0prpCjoktTBlCZ 35MQl27/PtB0TGach5fu8CUAe2s/bjcFSeDjQ8oY0iOS4/pTlPzTfdRXrIs0m37i jnDd1DVlfx8Sf4DD1Mx/bPnZ3I11JlZxJpEYnkKJpkTMXS4xY4jOcN18UaP4Gprb i1F9sLalAtjbqWJzyAhFpQ== =rVLR -----END PGP SIGNATURE-----
