-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 19:38:42 +0100 Source: coq-corn Binary: libcoq-corn Architecture: source amd64 Version: 9.0.0-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-corn - Coq Constructive Repository at Nijmegen Changes: coq-corn (9.0.0-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: f141ff51ef93be1ff0c2ce8514b3a7a9e5146985 2117 coq-corn_9.0.0-2.dsc f70049ab1381dda85c8b00908e8560a17f4c4f97 4448 coq-corn_9.0.0-2.debian.tar.xz fcc69737471a6e192e89b35657e2915c9b5ca515 7298 coq-corn_9.0.0-2_amd64.buildinfo 86d1df8ec96e3c9fa147c03a0aef9964bc92c0c4 13556716 libcoq-corn_9.0.0-2_amd64.deb Checksums-Sha256: 4ca5d9649c0813db670a797b2e4afe70d7bfdc190b0aa3e280ec91edaabc5639 2117 coq-corn_9.0.0-2.dsc d5bf226f21aa7b400b04d0e22b1ed3006423da7d3955c94e8d9f14a65f245b2a 4448 coq-corn_9.0.0-2.debian.tar.xz f4d820f58bfab674383d6d9726ec74ff897ff06d556c46550d912524eacb1666 7298 coq-corn_9.0.0-2_amd64.buildinfo 1163ee267009a4eff77f1cb464b974ec5f82e6cb8019b6e9d0dc2f846961ef7f 13556716 libcoq-corn_9.0.0-2_amd64.deb Files: cf45ad701435f6a5eb6ac4b366f90058 2117 ocaml optional coq-corn_9.0.0-2.dsc 6bf5a8c1b4021dafbe20a1500e9faeaa 4448 ocaml optional coq-corn_9.0.0-2.debian.tar.xz 2dcfbf5268aa7305ef215764bd49ebdf 7298 ocaml optional coq-corn_9.0.0-2_amd64.buildinfo 9e904db1f105cdbdcf341cecaab107f7 13556716 ocaml optional libcoq-corn_9.0.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkThWIZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUY2xD/9cLqu1dlQsPLrzPbH7d80g WUxsqO7HxRNw98R3Th+yHJLZuVV1hBcTETCoXMsFvwQkIOZB7Gz4grxmUeZETq5P Nh+zMqXTcVAFK2nSvv0GbZAI9IXsvxVBYpXh/Lw2w8tNUYJqUWwTrlrqs4zy5T/p MrSE1xd6Mk+DAs+4K2cLmvZmiBnjjaKzHsJ42QIcacCCJ93yRah5RzGHLcOdPTwA OC+x15hMm/ucgrM5GjHkUH4KA/lSbCdyg9W48exJN22tG/5+lurcy56tbAWE+QWY q2Ce7S9Ri3EeA40FKs2U+dnjtPESe2u+vF75iCPItLaKFnyCkgF3Ca2tbIgxQvs2 w36C+1EeEaglOfnDK1IcnFcl0WSIYIcCoVaS+yKx9GSX/U0VBXm+ZPj74hCPbwJg 1zVZlTXlWC1mLIWumhrcAPMPeIccG/euU0cqOnkbpldcumtMJWkl4LIiT3QXzchn BlG5VfrlCDMJG93f+EHVThmgiX7mevfTzxuIIYk8HY1dStelOa41M90MzO1xsDuB KZXphYWXGfcmElccPTzZPvw7GRDZdxqdQB8Z2VMpatfq6IGhSDwsPTaYFbUhBhgB IdOjCRLHcy4JqPqYZ2AAQmmpVjtACr/Qn9aUrTnwZX+d8s1Jr15MK/Hv5UnnyXxY wl+/D3WC6jFDjm7sygw/2w== =s3xN -----END PGP SIGNATURE-----
