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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+ds-1build5
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
 862ed4555a6905f87be75cf1b9001f8c04ee63c9 7172 ott_0.34+ds-1build5.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 af1640f77719a49e24d38efad94be7fcd1392e79cd8f42eb20280746773664b0 7172 ott_0.34+ds-1build5.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 459f9302abc7dc13c401d944a696edf1 7172 ott_0.34+ds-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9gsACgkQ808JdE6f
XdmTuhAAl/cTJMYWDZRtHkP00DDQwCMlWNscHmKkfz9RjDqMqlOQIZRGdIFWZRsU
EAEaYcUmoAERMuhP3Ij5mTAwaxPLgjIHdqdTRwk5AVSVZUBhx9c243TQMr/o/fTQ
IumFlDro6yEbVXeUMkyZQUlQrzvY8z/7r5yG2AHJWldnnmXcJA/j6bvQNGVi/wVB
ajnFH6GZpmPO/PzdizRr55+v5WnLGUu2M4Yjae9H5yfgoOKM2nRH8jSQOcDABgL8
vq3dO5nqP1oxwfumki/aj7BKBO7ToTE8jXWzovZHaDUps5WJcwr+kzDaAQaFKHuO
xajXxK6UylHLEq6ZjEHEc9CHmi88IaMKPix417B7Ch+/GEAgTWzDoW5Puuw13QvQ
K2vK8ecq9nrhLxwnvsG68KD6HEe3txx5oSuWxmu1QA7wVywscj/pNuEfKSPzFInR
PYvGqztJCyvHfJDuiBPWlj85HoxSomngLDbrWdyNDKf3R/8oTTnoEyF0s0J2/qCP
PeQfCXscQ3bqY0QfUs64YnOWv/Rws+cfjzDXBjcYzDQJX5JZzoKCazNOU1Ct842u
M2gNyzeinV2XQXvAMNWxJ7nFCRzDzG1nv/Bc5DzVFBEFRBE1kqifRzl3nLjx4uo9
+/zN54PizYTVjVqSyCchAZqJD5Nl82UYGRPfeAGsx40qfwBPOiM=
=yKfk
-----END PGP SIGNATURE-----