Accepted ott 0.34+ds-5 (source amd64) into unstable

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

Format: 1.8
Date: Thu, 23 Jul 2026 17:31:08 +0200
Source: ott
Binary: libcoq-ott ott-tools
Architecture: source amd64
Version: 0.34+ds-5
Distribution: unstable
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-5) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 c4526772d2cc2490c076c954ceb4a8ec632a6673 2128 ott_0.34+ds-5.dsc
 97c298fb881fae76b54bfc4a391e9e511ac82887 1142148 ott_0.34+ds.orig.tar.xz
 80cccc3546d51762a8ea14de495a252534efdeb2 7128 ott_0.34+ds-5.debian.tar.xz
 03e9fefeede2ee4f35b102d447380be4ab2af20f 164212 libcoq-ott_0.34+ds-5_amd64.deb
 8b9c30cb09bf6a3079062014b1e8b834282ee380 1510604 ott-tools_0.34+ds-5_amd64.deb
 1008af7a92bb47628f190a027cee65a684e07709 10653 ott_0.34+ds-5_amd64.buildinfo
Checksums-Sha256:
 952f80937c4703d6386c6c88d778165bf27a850f9feafee16c23da33d38a6f68 2128 ott_0.34+ds-5.dsc
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 dccc05665a0fa50db74f7b743dc4fb1812f1c5e65bcd54aa8b21de5b3b38db84 7128 ott_0.34+ds-5.debian.tar.xz
 bf8bbd665b609cd43f0c7bf4eb8eaab843d02df2e22309194d73e0657c873da4 164212 libcoq-ott_0.34+ds-5_amd64.deb
 a1f7507667b2092b76cb8a2aace3a895ecd8b27f0cc7e00d0d609aa4e107a79f 1510604 ott-tools_0.34+ds-5_amd64.deb
 a3e2536c995391ed7b1bbb8daf85a4ee8a71d98c5b44457f46968ebff2dc089d 10653 ott_0.34+ds-5_amd64.buildinfo
Files:
 812670eff90a02cfddda87e108d0d021 2128 ocaml optional ott_0.34+ds-5.dsc
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ocaml optional ott_0.34+ds.orig.tar.xz
 1c25906c00d9c090a8b9449cead42407 7128 ocaml optional ott_0.34+ds-5.debian.tar.xz
 a6e562efc8af1be7c8c01988aa5afaa8 164212 ocaml optional libcoq-ott_0.34+ds-5_amd64.deb
 f4b0bb553d54a0baabae661280f8454b 1510604 ocaml optional ott-tools_0.34+ds-5_amd64.deb
 7b5d72869a286a51a08c806d7c287bf8 10653 ocaml optional ott_0.34+ds-5_amd64.buildinfo

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpoeJEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUb92D/sHqaH2TVupgvJtdSQFer41
XfISmyEHORQJGX/pHtgU+Jl82q7P9WN5rZgCGMd6hEhoeHxbQSs11cGtWhiYZfJi
n8WmWsej4Fd1sZXc4sIaLptOneDQiS/re4jkfQ6J1SO2OVMqL8hysdzfMtJVzCme
FhxwTlssu5ynF6OUDt8EdPr8Vwl4jsYCHYWR7SZRF8pJEutJX8Sh/ppVwvF/0x9o
+KPItq+fz1mGZMBzhKDU+ZJF1eM6WxeMrAsXHl7+uylCLun3KqZHwf8yC++IIjmD
ermtWe7UpnHOx9+KWLyF97dHWqdEMxmi65QqVnTCj9BxLMI7iTdYCe9LlCh4yFPJ
1mXaETN2ayXC3dwZhMtM9FJXWqiTvtPhUvaY4H8ThB9Lm7GiXrzdUuyc80r8AJfi
NC0fx1N1Y1jkiIQ5BJQ2lVq3rqSVs7QnzVUV3/w4IlPD6MI1lRmVmXnNn9YO9gXa
OhkFhCkp1zzcTSAwKAjJ0jFj/6sxT9A6VLuhhF1mImd9LdKJOr/4wHtqJi4w95hk
iWzFDRvBmtfPdU7COKIitNadh2baaeScDk0U7oHq5M3DTyQs30PqEfvHA6V2cO8K
p+Tatvf352gdup5MYi4zhnaozQxJKt22ZGj6zyIBRo9n8rpwvCh0opa+WZInA9Ub
4DDYrj1Ha7zHksHAjRABxg==
=wMyU
-----END PGP SIGNATURE-----