-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.32+ds-3
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.6.1
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:
9f0071710ae175f020442eea6e476f6f71ae237a 1140176 ott_0.32+ds.orig.tar.xz
c4dc45f38f5cf81f0d7d2fbe8fb8c2e9b584d189 6956 ott_0.32+ds-3.debian.tar.xz
Checksums-Sha256:
b18791dbf7abae18626b4e7c1f368c8311a2e0f0bd9c49b3288ba6fde3f8e1c8 1140176 ott_0.32+ds.orig.tar.xz
8287eeae1ee7dc2b45b127eba5d47259ae9e6e87a65a66745e7b0415dd0621e2 6956 ott_0.32+ds-3.debian.tar.xz
Files:
c4301ffe56b273f023200c9064eedd6f 1140176 ott_0.32+ds.orig.tar.xz
43f7a333eb5a8e3785f80955b3df81c0 6956 ott_0.32+ds-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ7RoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRygYP/jkUhXV4SAzCLARe9BQk+zEeVNVdHf5p
GgWDIakix3vu/uFmC8WSa4GjmdEx05b4H0rIgN9+/Jjci0pt6Ayo11QzBfJOi72O
55Ld8bOWTyG1blbiMMDwJU/LExx822HQ8JUsDcnjWLJnS7UaRnB9s+4B0RWyvv1v
EfpkCY8nyCfT8ATmf+r1ocstaXpWDwlRe5vaRffBXvmcm2Z856OI3j3Q0AOo+tfK
ha92153m2Qhq1oCBwEb4JAz5DPEyWO69o7Bca78TIR0eeRPQHHJ0VZiZ6om+PomG
6Uh6czOWnrloRg3cdsSk1eWuveCRN25qmJ9r1w6ykKzynGcXoFVWdkN19k8BBeVF
V5ZIWPGgv5huMHMtnZGLFI8zE2Ga7aDWz0+AanjOLe9IqDy5GJhVELTXDlJZ/It2
1Ws+v3AM+6F+Bz+iVP6M6ESgkHuKo3nm/Ipir7JpIZcM/R4e5BCJmbHXng1ZWMe0
kO+LPoZERFcOyPPc/1K6+QOm8Eio38rfo+VSeqIOJvB0jFn685/pWswqcKZUBaB3
5oreUFjsZ0vfbzOoyeDCDGdRf3Hff/Y+njQUXYrxfsxuJa/xURV93r14UilpvsQ+
ACMCGWY3Bfc1IyHXld4vd7sp7bEbjf1o9MfSae/gvKUk2PKUwy5JrA4t1EUcY+yU
k2hO9uglniGh
=CpPd
-----END PGP SIGNATURE-----