-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 18:10:15 +0200 Source: coq-mtac2 Binary: libcoq-mtac2 Architecture: source amd64 Version: 1.4-rocq9.1-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-mtac2 - Mtac2 tactic language for Coq Changes: coq-mtac2 (1.4-rocq9.1-1) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. * New upstream release. * Add patch for Coq/Rocq 9.2. Checksums-Sha1: 1d2c8e2c6af7cb9bdf9f292b4417803b0e08ce15 2140 coq-mtac2_1.4-rocq9.1-1.dsc f867120e6ca473d68f098aa50729d2ad97eaaf18 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz 4869209e8e6831b1066868c501b64c70ebcea793 4480 coq-mtac2_1.4-rocq9.1-1.debian.tar.xz cb1787d7196d15a499a7b17453e41d7d77b6516c 7460 coq-mtac2_1.4-rocq9.1-1_amd64.buildinfo 1d7d2a001f364a1b662123e4673bc1e6d2561112 793416 libcoq-mtac2_1.4-rocq9.1-1_amd64.deb Checksums-Sha256: 1d1fef5969cfa5a2a6bcaa9d668eb5c254db5abc8496817ba70e215c3614b33e 2140 coq-mtac2_1.4-rocq9.1-1.dsc 8e4181daad414ff2b8a489436530f54c42c0fabce61dbca8a0bb2e3efbcf02f1 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz 8db8281801eeaf5468fe68f196f404755e2a8f7f385563eb87737266512b306a 4480 coq-mtac2_1.4-rocq9.1-1.debian.tar.xz 13b639c49cb82f866c5230a81c779372eff2a85b177f3280af20c2521e596b80 7460 coq-mtac2_1.4-rocq9.1-1_amd64.buildinfo d33bf6b572d29c0cf0ecdc813f68b6f7edb829a7e48a1f2f2fa9b6634aefe6e0 793416 libcoq-mtac2_1.4-rocq9.1-1_amd64.deb Files: eb7d2598598f0526fb3e15f7c716b591 2140 ocaml optional coq-mtac2_1.4-rocq9.1-1.dsc 8bb2d07061f97a57ffad4c9812bed8e9 252426 ocaml optional coq-mtac2_1.4-rocq9.1.orig.tar.gz ca19c9d4f76c35593bb51ec1e4546504 4480 ocaml optional coq-mtac2_1.4-rocq9.1-1.debian.tar.xz 8d1123a5e1510f1dbc75812e2feefd0c 7460 ocaml optional coq-mtac2_1.4-rocq9.1-1_amd64.buildinfo 13c6a48ef540d312fd0e03fa57fb287f 793416 ocaml optional libcoq-mtac2_1.4-rocq9.1-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpR51UZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUVDEACWR653U2itrriZccXathx5 GZKOXtr0GHL7q+gyXyxEq95pYB/X1/CWj+JHIKRW7WYYnv+oYPfnZ7T8e0b4tTDe PcblpLaJyrTI3WqQeFaBz0ctbTIgidC98MsgT6ei9O04YsssqUXQbRVP2kktDRyd gfdZMKkft1PNwGstfqGWDMQZLWPv7VI+lBv/7A14EnPkm2D5iBSWVHYlyiI8v1yQ T9dbH4i5Lp69k8G0rLObCBbuavxUE+VzYSkZCyFT3g2r8lNsrrKmChbmMogLY92s nvtf/kUmV6TZiEF6suYOrKPLSjcZdTVhwDDm4bJ/YNJgJrjebkho80aiZ0f4Aeda 0ijWRoytN5q660hPwAQs67auQBPKwSpvSxqVeF4jNyInNDiOKgml+O8WaMsm9VUY hL54K5SvV/tQGLMPcqD7E0s/I4rImvxoW+M3th15hHWdlw17nuabMkgjFBPmnDQF h7Ldl61k0A4heE+t1xeKfXpYpJQXyxGtE7KPYiFsF5neOBziumhnzqVPeWFoQnSR NQX9DxGD+sEdQ0lKv24K41AzjBwLzIILZxu4HcIQVNd9SZGuRIgNpLj3VcKOxRIc WN+/58ZHKwYjZzRVohTyxA9uJxh2dGl0FaRSgRDTW4k9u8B5rX5QZlYvP73fxan2 wX9vaFq9HcZIWtR+5QpjUA== =rAXn -----END PGP SIGNATURE-----
pgpO7To7CZo3E.pgp
Description: PGP signature
