-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 04 Jan 2025 12:28:05 +0100 Source: dh-coq Architecture: source Version: 0.13 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: dh-coq (0.13) unstable; urgency=medium . * Improve coq-platform-comparison. Checksums-Sha1: ee289fca722935667af962753797bd4c4e18023d 1670 dh-coq_0.13.dsc 9f4a552d618a632bce3d85e9df958a9b49286a37 10428 dh-coq_0.13.tar.xz f090c762ae172dd9797b44bb9eb74d9785180f99 5952 dh-coq_0.13_amd64.buildinfo Checksums-Sha256: 616fc251d3d426660a0c0dd3ad1c4b00eedfbb82cd46282a5998eec490af5d6c 1670 dh-coq_0.13.dsc 288c4e2fc4867e9c27b9d51d604bf4a8a070de2160b78e5aa9ecaffff2fdb1d9 10428 dh-coq_0.13.tar.xz c574304022fd6dbf24699c5cdb2432f18da16737c4c917c23e943c899200ca61 5952 dh-coq_0.13_amd64.buildinfo Files: 0ede829040d704def1d28bd92ea5bac8 1670 ocaml optional dh-coq_0.13.dsc f8f4c7149167c014104a4fb072e3bcf6 10428 ocaml optional dh-coq_0.13.tar.xz 71e2902501d4435d12f1ead5c012aac5 5952 ocaml optional dh-coq_0.13_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmd5G5oZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURPdD/0cu4SQAzkvOBpsDVxVOfOw zq/1haCbMv70wtnYno74IpEqfg4wJJsMvZDYFyFF1+Q1JWsXSH8yce6+MYSzRATD H5iklu3w6TRnuWTDd4o2FHDVJnjKm5tMSxNWgp2mMxnj4YqKlfF1h+kVIKhy3prs vO+qh5RRME+JsGTdKQfmMDTF0ysB1hiVQUH+HsM5F6VXazm5jwYy1ta+UcJCNxRr AtCGQdEtq/eZRljdX2sOJKWBVy7oadXh/aCVMKQULnA7luMi2Up+zrjjmb1NUpX9 25GvlTNLp/WmxDsnbQT5X8GaC8p4/ugQi160qldEKP1VadcEZGPLYMv/eqF4bmyP 2XHyzOfyic+io4XK+myr4/6MgWS3alwdV4SG8lDLFHxJ+P8LiG1zgFPWEVgdx78k ANTF4c+ERplSqaNw6GYLpvKdAGX8LU9JFYwtw6T3fenUWcuxrUSTOMVOkAFwtXcM M9TBC4w8OfEg+nQG43W0OL6eDQWv/qoRjlPZi8SyqX31SPOlX9aap/FNnspdm3eY o/7OfNPkyxp0Ib1hs1amezRzSxsSwp73VdVB+3tK5fK+Sqeywu92PelMSm7Me1jg 3OGLv3DVaik0bqgZv5pkhIM6mnkR4u7lnNE5lvyvNkTLhhrhoW3Mk386Gl+/utFa EkZ3GuvE7UigGOzGmvVUCw== =2gaE -----END PGP SIGNATURE-----
