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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20220204-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/UniMath/UniMath
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-unimath
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-unimath.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unimath deb ocaml optional arch=any
Checksums-Sha1:
 b7692f8a792aa9f7b462b862a1a8150daaf05837 1705163 coq-unimath_20220204.orig.tar.gz
 052d0a8eebcdb8de6b102b7cc6add8708f7571f9 1688 coq-unimath_20220204-1.debian.tar.xz
Checksums-Sha256:
 d95815a2a76dd3739b902752fcc166ca66926e7198317ca9dc78a08667c9bb38 1705163 coq-unimath_20220204.orig.tar.gz
 16ca8dad8140511a0b826b990911e0d765b8174c96a8ab11f5e1a6aee446b15e 1688 coq-unimath_20220204-1.debian.tar.xz
Files:
 156af5357d9c416df3c0bb7d0232c4ba 1705163 coq-unimath_20220204.orig.tar.gz
 ebae6295f03dd6c9b5ca295e2b79367c 1688 coq-unimath_20220204-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSiZQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUVg8D/9Bi5D65SZgabU1oRRSwuC6
C61U+a3s0VgPaN+eHm7w2f+MW1zm6RX+IVEW2iREcouALeZuDYs/NcKryZ/SkmVC
AluPnCaYW+gp/C/Rj8+ArtPY7StWVeA6N908URNdREIG6AVxtB1LZu5COWhQ6XeL
+FlRfHtJ99eOF2626uhXCG6lKatLLpzhZcazm9+qxLiUWBKcU7uFyLLL3xn7qswk
BbwndQrCPRnksFSjMxP4kZ5YBrg8n8MBU2qfpt4QuBhgMV/PffVgBrDy+Z1q9XBG
Yrh6O2PcONDW9l5+g9qwQmuwuf1Ce2mfW2NLqdbf59ozc5SvtA1U3qPHgGyNKUb8
uBFg76Tc9ObSoqYnSf190/uIGfCbg5nnDZiJIAyVDaUQPgNxg7Tl4+f3gFZRh3Tj
bJdk46Fk/hvYGsIO2xjmq2gLFy4oomGSM54bRptkDm2fDg+u7yHkEjROCfMPG8UM
2i5MtpjfTGtkqKJU+7wK0Ee7VtfWk6TZahc7nmNUeIneyzyTAwf7cz7/30h2vAmR
oZsoR2ut9UBn77U+T27kfp75X+wD7lNh+OG4/H9GNASZR3OWkgHFjYpJfuTTsMY4
CZIlh8RIjmXwE84OHF9J7ta1KvDI89fQRwlszfNDxxIKQ7z7pQwoN9eTFPxgE0j3
rdlex6tXp0Bm5PG7RyebOg==
=OTtm
-----END PGP SIGNATURE-----