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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20231010-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.2
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 (>= 8.17), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unimath deb ocaml optional arch=any
Checksums-Sha1:
 cabad4e0221f097ebc3f667017bd7fa7242c4d81 2893033 coq-unimath_20231010.orig.tar.gz
 93bd9c269cbea0bb5dd8398145a42dae09e4539b 2088 coq-unimath_20231010-1.debian.tar.xz
Checksums-Sha256:
 c722471ead589f971a561cfc2f836d8e7139710797b15350edc867f9c037853b 2893033 coq-unimath_20231010.orig.tar.gz
 dd3a0d8e22a121761e8967c2bdaa92553bc2fda8ee8d6d54f1a2f7d0d147bc9f 2088 coq-unimath_20231010-1.debian.tar.xz
Files:
 fa01c7733174c7ac4c161b610dd7f858 2893033 coq-unimath_20231010.orig.tar.gz
 64e61e068b79c4004760ab27931969ab 2088 coq-unimath_20231010-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEW/oSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR22gQAJqYAfS2Qvbpajn4FkvASRD8vgOhzoK2
BGYkQrsOI4jgc1d3rfvtpjNnI834kx1wlZWigw+36Vg2QsWrE1FSCTnSwvZ0Y7Hq
WT8Rcgz7tt8NLfC0je75yyCtXCOYkgbx+OskOyH6cYpLCid6ZEv6XsOENE6xEYWx
/NQfmFbrQtjWxZ9B7GUPmdK6fW8PyYOqKayUqjJSq5kbxjqA6/I/ue+2OWihX7Me
kjW8s5Ms2YQvkTU3ayG9HgkwY060l9Rwq4BfaX6PzLRHGD1vFfEN9/E+OgDEBwJv
BTb4+iL5AFtgklF13C70Wk6nYF4540WxHmfzw7n7KHsaF6kPOcBJHoskGeJU0MuZ
rvUb90iY/mjgcnByZ+hKFtnCK1P6pXVo/C5cF1MleFIr3sC0qE/Xq70D4qaaSIrM
e3/FmtKfdu8EcZ0vq8SQso9RHoBH+yftvS6RoWGeMTpJCvD/kTi/uJYobGs88UcJ
M+abJ2E3Zvhi3VDfRMUhiBy5X6TC144LqrDPHdZ2PIXZYz1jppF8kZ9ypwG3Rk27
8OSUOo3cON8666vYRIsZbRGutBA0m1hSs/O+peET+lDBOL7N2zuBpJ4Vr1vMPK3t
nw0SaAH/yrxJp5LhxZFvIRn0RCz9H1ha4aCB92kufzE+LhRSgf331FQpPgFJV3YV
4ka91MFTL3+t
=X6Rn
-----END PGP SIGNATURE-----