-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.32+ds-3build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/ott-lang/ott
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/ott
Vcs-Git: https://salsa.debian.org/ocaml-team/ott.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, help2man, hevea, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev, pandoc
Package-List:
 libcoq-ott deb ocaml optional arch=any
 ott-tools deb ocaml optional arch=any
Checksums-Sha1:
 9f0071710ae175f020442eea6e476f6f71ae237a 1140176 ott_0.32+ds.orig.tar.xz
 ce9a99029c5cd67a65313000082332491ae91e11 7052 ott_0.32+ds-3build2.debian.tar.xz
Checksums-Sha256:
 b18791dbf7abae18626b4e7c1f368c8311a2e0f0bd9c49b3288ba6fde3f8e1c8 1140176 ott_0.32+ds.orig.tar.xz
 15df5ffea46bd8a7a3a11f922d6fb0e9614e76d7f83064640c5a82e0a203f08b 7052 ott_0.32+ds-3build2.debian.tar.xz
Files:
 c4301ffe56b273f023200c9064eedd6f 1140176 ott_0.32+ds.orig.tar.xz
 a0b474561b2ee3ac0ba6e83109577027 7052 ott_0.32+ds-3build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudvsACgkQ808JdE6f
Xdlp5xAAm2czvjbWLaDg5WfDBE0CwlpXKdYazWtPA8x3dAI/G6JsaTNl7i5vxsCy
aBVF0UkxououbyH3Pp5p8Lq9VchWyxxJu22tRtqUQlbNbIVWSxy4AVIXBRztxrj9
P57kXMEsozro9jx4/IMb2tkZJ4ycbpYT93UdY+GTbuZB1b9Arz2zEssXQUP4V4W/
UvBBjVV2rI3sQwwL/gezy9XW5DPET+lcN/bn73Xz8mLIshCZA4N96zMkUEIIitLJ
ASPozI4iXzZmyHqxHDWPD51LKFB7AAbJ0pwOgbrTwJemhAeSsj1hxFB73mGB4H8+
24fYW2ORF6rmOxKA3Xl5OchV7BBhYkgPKZnoQUlDg//yJcB1eiv5KQwzXOBApoUl
oGHNASN0yzNGSr/MyVAjEFJU0w3ww/ywhvAPBl9eKTkiI1MxxV6FXbX3LajGaNP+
rFOEX3BJRSH6jzRWY6mj+o9LaYghO/2DhLY0KDB6uQk2sCk4rHuabnOponqvsI2V
wWRrUZzIot9A+ctgVZcKQGzzVGdo/D9I4mb4VJPZI1/0HQAzv0iqIwITGNt8vqw8
96jRsi0vxWNqv/WltIV+iou8J92StnDT6ktY4oeXfGgXROsCiqTmWvqkyTOaSU/c
Izn20xEEaL0zRgztqHUv3V8gKP/j9X+ioDLDyV5HF9JMKlRJvoM=
=2ObS
-----END PGP SIGNATURE-----