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

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 29 Oct 2025 09:38:52 +0100
Source: ott
Binary: libcoq-ott ott-tools
Architecture: source amd64
Version: 0.34+ds-2
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-2) experimental; urgency=medium
 .
   * Bump standards-version to 4.7.2.
   * Work on lintian reports.
Checksums-Sha1:
 ebdbac6a587c1beac309ce8808e4888c696f1fb1 2121 ott_0.34+ds-2.dsc
 b2feeb6eb9c28aa26f4c6a13a4b22edbc6e9332f 7080 ott_0.34+ds-2.debian.tar.xz
 9943560ddf64e0ce3e358f2d39350af1ebe851a4 164564 libcoq-ott_0.34+ds-2_amd64.deb
 945b6b1f12a627f59a02d22d5124c3cff8837766 1498780 ott-tools_0.34+ds-2_amd64.deb
 690536e90b6bb2e4b23fdef5a1f6a23b60d66e2e 10459 ott_0.34+ds-2_amd64.buildinfo
Checksums-Sha256:
 c3d4122609103347e8dd0fd14950c48f5f369003e946c1d8dfd46bdf03f626e3 2121 ott_0.34+ds-2.dsc
 8e69349736e489b2cb4eec1da42494e3592c83189576c84252ab5090977e033f 7080 ott_0.34+ds-2.debian.tar.xz
 de291ca33ebf294554cfa715c207f3fc97239fcb623f45c0c4aed2d2396d24cc 164564 libcoq-ott_0.34+ds-2_amd64.deb
 675bf2297668d400d057693a3370cdc31e4f3f1880e3046e860dd4450738f0a0 1498780 ott-tools_0.34+ds-2_amd64.deb
 2bac0eb0468944cc3cf170e8da61c9a88052363d71cffa0347950903b0e7ac45 10459 ott_0.34+ds-2_amd64.buildinfo
Files:
 46de11bc081270d14fae7993c7d43a91 2121 ocaml optional ott_0.34+ds-2.dsc
 c78256d55fe6b76b4603389c306f3623 7080 ocaml optional ott_0.34+ds-2.debian.tar.xz
 a3f3d0235e9a50779569b325bd86837f 164564 ocaml optional libcoq-ott_0.34+ds-2_amd64.deb
 e4b507472a887ab34664e4eaef38c1dd 1498780 ocaml optional ott-tools_0.34+ds-2_amd64.deb
 be6fa3885157ce54d4baa5004232b421 10459 ocaml optional ott_0.34+ds-2_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB1IkZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQ3JD/0U8eS1CEsExUM2oHA5IujV
mOG4Y45RiOFlTxALzsp9xsoYgtsJ+EMZQKQCu2x0t/nEi8daMLjTtllqHnKP6MsS
PnvqX9LCLiDZgGE5oDhGWaWycIY4gHxnugm7nuH4Kv4Gs4Cs0bMyVRs2yu3j3LEL
wAY0FWChY60y8gl2AoJeFjtZWhLYjHIt1vkEqjqivCpGwW7k3Xdwvo5STPElWTZ6
JaUqyzUXfWfBBgK6GfrrzwRC3ztmj/zM80WoeS2hycitFDtAR/gg8mGuo17sTSmy
27N9QPiBRUwBUyeHB+HzdFu5iRK2hfazgFlcvsfUiL71Y8xtisfOFvMFeq/yDRTN
CWLSt4tAD7bVXbvUTk/lo5lBIHGREfp3lAcV1eZ3NoQzoO8VmJbF7RQr7DPpkn27
UrfP86plgKaaKpJy1Ib/soRSQBDJnu17Q/0vc+bBzb//MMN31OhmcA3j++shR4+e
BO3WkF/4vFZ7WHdn1MiG+z+NMW5TkhPWXRlEHkuhVYy3KVO7DcmXG4kD9sMog636
3i6SWAolhVXwOGgncTVISDwD6uDH4lKaW9JAQ6rLwB7psBFpn7bPKoTSvoQ8ZEyw
PAJQfz3vNglsSgDLh4iv2XVWOp8Q5wuIwvHXn5EUgoPvV9YtzpnePE20iYG3Ax1I
T/VS2P07roTBnDne1AOwtQ==
=q4vy
-----END PGP SIGNATURE-----