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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+ds-1build1
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.7.0
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:
 97c298fb881fae76b54bfc4a391e9e511ac82887 1142148 ott_0.34+ds.orig.tar.xz
 24a8714003cdc97c6893959e3ff2f46dc4b9f174 7028 ott_0.34+ds-1build1.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 8a8a641f19df8472edd4d37c5c98a55ffb85929a7bde6566a6aa8ad974c76cab 7028 ott_0.34+ds-1build1.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 26c7a16eaad3b7c7df542c913b76118f 7028 ott_0.34+ds-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmee8/QACgkQ5mx3Wuv+
bH047xAAuXMDOp0vLbIOe8WVZF2Kk05P7/NMiACJyHFxVn1QmMXqX3wDREZOU1xJ
kOigp3Ppb4S3W2zY9rBfUK8MiBQJfPncMyAemK0kpQJ/buNyWhbF/u6+Aw/zKKjz
PtY0PW2+7JGf0fiMSscZJT0hgdjm5Ks/BDRR84BM4JW2NJYndxLbWIdMbrqxrdMy
IvrIuU7x5dBZIy+ukmVeZdpDKO0WbxNrm+JZ3iBNcTYr1m3qyJisfyMxvTROurKY
2PmSzeqGOR2C6lDcahEQqXMe0dQcxNEL/f3AMzP6hBhwJQfA3drmpEkDXx8PseVJ
9NJpgK8KQ4tFJIMtOy9ty6UvYWv9adS9qGngZJBUZCnNF5bNu95awJPy7oalJO2c
hq/Eeoc7osPO6hq2EyF7m/vdlwUtri2o5d2h4WKJK+sbBK6x/XBIlaJ01qnVtHev
CqAQ9PZBFErkylaCEk0eG8caDs4o4EVXvBivHpbQqlNJ0DLPlmr6rGqGhmke4U/b
NL1FsYuE1dRuxvGYqOJsdO240szJ5P0TSfJ8Z4VLcmrQ+muu2cpPolRrBbVlJ/Mm
1qpp4Xpz85AA5MlkLEqlUjZb1fnHMGraY+zFXLt05sCPpzZC7xwrQSQ0jYgCnHzF
HgsUPm+9pShRtm9YfPXfgRIi6k6gtS3px/FPdZFWCrh8CAw7YMI=
=MmKi
-----END PGP SIGNATURE-----