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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.33+ds-1
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.2
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:
 fc63f2061e80024965d44533336541733ccdd788 1140368 ott_0.33+ds.orig.tar.xz
 68fe0adc6157824c9c23ffacb13b2378fc5ee5a6 6664 ott_0.33+ds-1.debian.tar.xz
Checksums-Sha256:
 345cf6b2359a39174ab61e4d83d2d2a325f8aa2e08b6483cb267672ee11bde73 1140368 ott_0.33+ds.orig.tar.xz
 f67c265823c12651a50e7e4d0a316e3d76174fd1b11a27bd817ebe2bf25da3d1 6664 ott_0.33+ds-1.debian.tar.xz
Files:
 2d36c7cb4901ba8c5ba757c6108e1ad9 1140368 ott_0.33+ds.orig.tar.xz
 907acdb4f61c2786a8bffc1c427344a7 6664 ott_0.33+ds-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHV3oSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJp8P/iA3CjDQAeG/sN3Z0ikuMIIWG9etYjoM
xkgtn6nizg48uOB8JB1FowbE3175xijygovqgSVwKPtkL5YCiH5R5l5O0YHWIN8l
U2onSWKEXfGA6wGazZa30L6c806C5uyARsNcEaUt6CsK/YmqlttZZghoG/Ji88uD
NY3VRVBD1RB8bXYENpNYCAFejbO7R9srWHU8qvx8xVL/IR/UVAWuCuDTYHkajtuu
N6MR86wegmp9T9nRayS5vGBPrHH728fxMqPCszFhNBtW3iUoEzwZ423snF77WykL
QjdeKOosNSYqv9w9P+iV1+eJ0VuN45PPymHFCoyDgL8byHtFbE2MnIjx7AGnKT6u
pN5/+bhm38NN23WHtz3SpUDVBWc8J7xA3XkZI5Htr408wterlXrG/RNG/vba7GV7
dWI1mc15omzRHs4Un5vLpfKMyHQPlyxpMkvyEKYctAtMvEcYkERGyXxWhgMlAYEU
PALKgt2K1tR8VkTk/d6ZuI132LhT088Wtn8BofJv72ERnxmBv6LxSFOZwcFniWD2
z6QnFvryAsSN2a7LSJ5a4p9hyKnYPmE3NKdNdJVrLs5DIFohQBRCcwK1Wt08Q1Gb
Nx7OOZNikzgu0yl85a59Uj0Xy4E/jMplfPBqA7fzqe8cLW3ld3H/oY1MtRJIyxBG
U8ZhnrGN1fA4
=LHDm
-----END PGP SIGNATURE-----