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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+ds-1build3
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
 8d5e93b01e33eec37802718e6cabf8377f09d58d 7124 ott_0.34+ds-1build3.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 0c58470f41df997564063b0a470d625c754fc34269c813e7f06ea274e103c646 7124 ott_0.34+ds-1build3.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 32bd6dd8e98562c49a6e4dc3226fba7b 7124 ott_0.34+ds-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAme058sACgkQLIPbyOm9
Djd/eg//QkrytiH+gPtKjD7YpOb4TVOR2k7xCB/rpHPnBvU8BRs3Goa5i4DzWdaP
k/wkwlNTyRlsIab+ifSAklTpoT4d/+VdMzo/xIO7g3gUoEKa6P+jL7VJX7+5VzxB
BhQF3yV3nUbJKPaDlkiAeo932OBnIm8U9wid8XSqwdIut2cOuHVBrVAzG80qyTm+
Px1f0ITNeMf7kjNcG/YbyRbrAAv3NLuvIWbX4zeud11VNamd9/Wn1kTUj3csug4k
Hy/O7Z7A4xbZ10vgPwsuFCtSLXM+DML4KbFT7sydKZW9yuHp/hMlD13ZzgxcdjSA
Fa8X5C0MQHun4+4Djc5bnTexCMigtgPfVgcF5797oXV8vc0Yo2H0FyEMPu3HQole
lX0IhySM42bne5hvbQEIq2mxRc/JFONl+8Gk17b9wtNqIeDs9WjOjthdcsMDF/qc
RBzCBTRZWf8/KDtzE1Uuiuh9DU/GuYgdNAgZE7/wlrWxuD9yXgfkh3J2WJhXqWhk
Pf4+4H8zmEAooLA+LeiRko+w0YVvnqnn5EQ5TAcFbZ3u+qtEmQBtJ5mZNKMXrV5m
YqsXPnMAnIOUWyIBIgxNMAqgmOFXqk77DPlz9UMQxHhTEf3qzfSi6KrZtvaa7549
9gKlvJuS4x4LTTTIb+vpYXmnx3UcET9aGiZ5uO+/p06G+sPgxA4=
=tnLe
-----END PGP SIGNATURE-----