-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 18:38:25 +0100 Source: ott Binary: libcoq-ott ott-tools Architecture: source amd64 Version: 0.34+ds-3 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-ott - Ott tool (Coq plugin) ott-tools - Ott tool (executable) Changes: ott (0.34+ds-3) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: f2137d91675a76be8f03ffdecb20900c2a4ab87f 2128 ott_0.34+ds-3.dsc abc46c8e6da0c50b2b6ee2399e034b64b68fa6aa 7124 ott_0.34+ds-3.debian.tar.xz 528b2591b6f51e8c647cbe462fab2447dd2ec814 164552 libcoq-ott_0.34+ds-3_amd64.deb d22035ef32d3534c20f630f01824e69116fd6924 1498936 ott-tools_0.34+ds-3_amd64.deb da81b08f8d9abda10ee1e10f7d55a6d24d5b5bca 10456 ott_0.34+ds-3_amd64.buildinfo Checksums-Sha256: 0e88e384366f005d9a1352085dbb79bfc131d92bf9dc2cc97ffa6ebfcd3fce21 2128 ott_0.34+ds-3.dsc cb59aeb888afe7b1489cf2819aab03dbb794b695ad1173365f08ed05738021e7 7124 ott_0.34+ds-3.debian.tar.xz 64a422ed842a0d2fc598b83632be5e148d477d4c66d2b53f129ef3a329f4362e 164552 libcoq-ott_0.34+ds-3_amd64.deb 819425bdc5caf2e09f909f59b5324e36c4dac6b875b6d3887385ada305692c75 1498936 ott-tools_0.34+ds-3_amd64.deb c54b746bfabb6320d3ef57e77009f348b3cfe7d29355cc55e4e2ac1cf72ac6d6 10456 ott_0.34+ds-3_amd64.buildinfo Files: 7242f4b35cbfabfc51b5ca241aa7bd6c 2128 ocaml optional ott_0.34+ds-3.dsc a49cc6896513e8798a3043213c62868d 7124 ocaml optional ott_0.34+ds-3.debian.tar.xz 961e6bdc9d2176a2680727c544f7f07e 164552 ocaml optional libcoq-ott_0.34+ds-3_amd64.deb b791c6a08576402adf73a569d3e02212 1498936 ocaml optional ott-tools_0.34+ds-3_amd64.deb f28bb1631cc20c5aa3a158cfb998c3c3 10456 ocaml optional ott_0.34+ds-3_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTfMEZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSWND/459bSvmnyg/NOsAG0PMchL njcMl4PAj9N89Z39VFy6jV/MyN7SJefOeFLhzHJQ8SgmOSD5mUIDcmzI/TBbe2d/ 6m9X28G5msbScQVWNbnpIHIyIWzacy1AuZoFUXtpt4acjr39Wo95xQ2eD8RDhsUu Jai5GW1FKjYebY9un8ZWYIaeDzOsxXJBr0VuMkh3rSkZ0DurINtyT1B8SU5eqMx/ pMvWvNamZ3NQN5Pgcd7rfrBzEYaJHgxNyaqKUT/iy69a14PJU7kFDqUh/7Q5RDfU b1k6DCnK6V1wEPeiKkE/91fKkOILZOzUCS5FPGtpfzGZHaXi756bMAxa3QrW+t1/ 7t24wefPFQ8Q+Ig+rdwEYyDz72uQmH0brr5GzNBhzk7dvSXJfJdsyTwpNYXG98eg VEYK6bf+fr9fTHjHLsvK3dYuDdnERbuGmRakxxELgfgm8YF23iZVjTrUqUMIfJ1H DwMDVPhbv4x7iOwV78Gh88qE1pJjMq54uApWBrEvaLKx0Q/OLuRng/neQMfdEuEv N1FuvAmX0djp9gwEkBEGph9vPIMoJcunR3l2/AZuMaAO/LfASW7t2mEQQ1XSvsav me044moHwUD4M0JTZOkDRb/YNRuk5QwJK6SxlQ9FUNlwBCwpHlZFKOXg1BnMp9ti mSyJAyVqcDvBE9sGVydnlg== =2T7a -----END PGP SIGNATURE-----
Attachment:
pgpuw8MDbp_79.pgp
Description: PGP signature