Accepted ott 0.34+ds-3 (source amd64) into experimental

-----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-----