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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+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.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
 3d6519d45fe9db0faef9d2d4b0bb5c240e419c6f 6960 ott_0.34+ds-1.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 9e1afd6fe3fac02f2bf9b56b4ba053cbc5f273bcfeec412de4cfb99bc0cf1508 6960 ott_0.34+ds-1.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 66964204cb764dc8f6d59e2a8c752f67 6960 ott_0.34+ds-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmd5DFEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUflTD/4lLG1gBIYBlRh9ZH+iYecQ
N0NT9YuWwpYPLzAq0BIZdioCpqEQuOBKgKkkaDUKoLj3Pop8bdWlkDTtdr/QaDqV
6zpoCSaEYfiGk5KSkLFeXJQA0X76wWub3HGQeC0jtGYqeDy7Dlff8o1fG3rlSmTU
BXoM5Q85F2ee5S7MYW7XWaAGmeG3TmdbxEYpl2F2ZfkjcP3QUWL7II3CaqP5Pxg+
HlyZQJJrmiIdMDOr2pMbegShL6DKkld7B2gFk8t7tylNO85Y55Vf7RxTa6wOov4h
H5i+xIsmNeSXBXznFI6FS/K63165W/IJsdSPyIPSOQuiRkFqq8lsr7dntUNcxOIY
P41SewV1OyfGfXo2qcFE7XG7S5xZ7jmitnCsf5v18t94lGxSdtQrniqRWUIEb6le
KqIcc4DgFCfyp68IPPgZ4SzN3CnY+GIuuzHgFL51Mk0O3J5derWRNPv+O7SYi28t
+W+kvNLvJ/0LKMRO4KPnXRhjnUEy6eYLVMP9poIwG1x6dCfW3sAfRbihKw+vbGWN
3ekprKJcZUevMGY7Uky/0yGriQAJxtaprkU1PJcBQRrWSeWj+IRIBRV4rjLYgS7t
aeDzpEeDZS0SSSunHzHrzm2drwp7W0kBlUPU/04aQyicnc57gIDj7/cP9nWcDvrx
JzvGJBIScJGKN/yOHDSbsg==
=/ie0
-----END PGP SIGNATURE-----