-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 19:26:02 +0100 Source: coq-mtac2 Binary: libcoq-mtac2 Architecture: source amd64 Version: 1.4+9.0-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-mtac2 - Mtac2 tactic language for Coq Changes: coq-mtac2 (1.4+9.0-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: 8fc097550c6695558a8ff194cb137147cef8cade 2112 coq-mtac2_1.4+9.0-2.dsc ef2bef393e1787cc2c92acbd92b64c4247c31ff0 4508 coq-mtac2_1.4+9.0-2.debian.tar.xz 20b4382a5f8d2d5a07fe4e803cb2e8bc4c560ca6 6833 coq-mtac2_1.4+9.0-2_amd64.buildinfo 27d108924e2147ffc7c179d22b1727ae3f85377a 795808 libcoq-mtac2_1.4+9.0-2_amd64.deb Checksums-Sha256: 850ebf64c3b87791df7efe2e7aa238eee6db5790aef0b51e055f511defd0d3ee 2112 coq-mtac2_1.4+9.0-2.dsc 3d481820dca6b3e12b377b6ba6b4c6e5766dd82789c9c9de1ac8f514705c7a9f 4508 coq-mtac2_1.4+9.0-2.debian.tar.xz 6d1513a496f1c10ec79973892f97d0b534bff4cac063252b95242a1e3b8d8872 6833 coq-mtac2_1.4+9.0-2_amd64.buildinfo 9dcb87b9957ee064bd6ac32be401137b49a73f75f6ca4630f1ebac4e0fb3df24 795808 libcoq-mtac2_1.4+9.0-2_amd64.deb Files: 57d576886e69b84fb33582a328c58adc 2112 ocaml optional coq-mtac2_1.4+9.0-2.dsc 7c32bde5fd8587bd7f11f4659d4df9eb 4508 ocaml optional coq-mtac2_1.4+9.0-2.debian.tar.xz 58891a2ae05ba6b86da9c553ae8a7ff3 6833 ocaml optional coq-mtac2_1.4+9.0-2_amd64.buildinfo ae76873b418c5f0fc12f781162bd91a8 795808 ocaml optional libcoq-mtac2_1.4+9.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTgiEZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSGbD/4pQh+8ojtHZ1IhEp4s9qPl eB1N7r4c99fLbmE9LCf1iG3JLRdGjPo3RLeIrLmut8vvFag4I5yAW+ChcG7tiEx5 hPS46YGTOWZ7u9td+q2hA9jnn9eqLcGtbPcOdxteZ3umuWwzB5BHNZ8FnQ+R3Ime YX+sx7BnR152rPfpT7gc4wO9RNVygTCU1mu/5X4cFu3sgXXfFoUsbcNFndT4PoBH 5sj/bwZ5NhLri2QXAAcu1HRkIx+JSoMShoai+ZtpD4nhexw2XjoOwD6p3nLtl7X6 EoQu5rSRPoti0fL9bfv75fYsph7Hp1PoUGkP45ekPX9SgCDxGIDFQ75xrVcg/OlX Aeva0hlPqDEC7XreG7xlTYe90jbMmWCk7SPSG/1Bc9eV2QJTIS3KBuqSmGpkfjQ3 MSZ5WcgWIylmnLWlrZehDjvJROqDYS55N1p0azxx2ovJmhXCQpjbX0Qw2uu96hrM KPrPs3wTz93N8ntB++2r2OO9h7ly1SPxrzx76TdtV5y3+dlr8iGqe3pTEJbInAn8 lYCrDB1iBHXa26qUmzBYwg/AlEuRpLH8KtQ/3lbsX+thNaqgpuTCGcY6znF2usyu WAeMl3OKHVzYYxttkJrD6Bqjufwk4Z4f1EztGT3SQfUdas7LI0BReSsFTNdVaSux etgwL0bHMYCnpF5YX7OUEQ== =Amwj -----END PGP SIGNATURE-----
