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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+ds-1build4
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
 79785eff114c3cdd126e46d0743dc881940e3f5d 7152 ott_0.34+ds-1build4.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 5800a10da2858afc2e47ed2441e21da0a21d9c03a6f1ea6fd7a6e9d95a7187ff 7152 ott_0.34+ds-1build4.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 8b6e6f3fb8718ed65e84610b291c732f 7152 ott_0.34+ds-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRhQACgkQ808JdE6f
Xdm5Aw/6A3AN+Gj3wK9arB9/9rphUW5L7ZfRdPFlsBSHvJBL14+TMcb7K3JEOv9N
fRWubJuUwCJ5BQsL3J90NRDzlNq3i5jnqZsOm1uxmLx/hHo0RdlvaJyw/5ajY/MF
1ZI62ZWgeXHbSTvpwkFaUG1Ht0nwUE4tWuGjX24+D27akx9gBatxQExQgQEGFQnF
C416RT3yS2x1Nfr8ZRDUoPLBQ90LDNa3+8oO5ZtdHoENQSaJEkwfCjLEobJR4quA
y4drc3Ep2wXGVvqesaMirTKi1eM4SVhtqB0bV3NZfizAzIV9ae0ALHKuwBSIdvXQ
kl3lFKXJg4x5fct1/vyqK3Kd5v7BusYu5l4n8mUS9nKO6Q/xfM0WEarO8+lBUB6w
f3XdJ1pxKMOf83XUK6BPFQ40UnVdFxEq51JcnkGYGDEmRbpzuVx5nMN+Fgt10nHf
1NUl6ZnBOfvTg+UhzhLBSiAAa4kAdslGtp4xqJYa19Sma23Z4ez4VJD5YFgnBXIL
P26nc91JMqOObjibUkawECGSfr18BwbMFt+0t1Ek3bt4Q0xRIuiguQo12VcnH6+m
WwQmU1O3vTYuJg9sjwlrywxM2dAWwi+lpTT/O5cs2DfqyZHm7m3mQt1q5ZIlBubU
uIaIYGxKTNzbTatoQ7gC6nAWNjDRly+ma7a57IqDeMGGGtip+Ro=
=+Ehe
-----END PGP SIGNATURE-----