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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20220816-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:
 db44a40019c97b9eb9752006d1c8d7e2ba0bc948 1986848 coq-unimath_20220816.orig.tar.gz
 6e9167262824c213e1011c1462df788bf4559c47 1728 coq-unimath_20220816-1.debian.tar.xz
Checksums-Sha256:
 c03a648f95570b7e3726507b6e01e642e2287bfd5ef061aa92c83693043a7920 1986848 coq-unimath_20220816.orig.tar.gz
 3fec4a89caf562136b044b979b394149b2773e789c2432bb56a46028c9e3cab7 1728 coq-unimath_20220816-1.debian.tar.xz
Files:
 8477650af351ef4c383c7c6e2e214def 1986848 coq-unimath_20220816.orig.tar.gz
 aae7dd3709765cfafef7ce11f2e9a31f 1728 coq-unimath_20220816-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMDMKQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJQgP/RtIZh0ghaFBN+t+G8cSfJ/L2Q7KWpzT
tzgm0+46mdYwJxAyowUvicMyHPI1/L9oQp8oD6cfKyaMjSs55WQUilHzchuVLO92
0CghRzuUgu2c+P3FZcnI9Gdyo8zq6ClxlhwwtqOf6uZmH9XDeBrzltlNYts4+ztU
w1M1Bmke7XlLWWRkeLXFExRbXAxnvKCxNmTIYDbE5Bwv3wcpyGu6+4EXK8/IJtWL
gk+U8SCRrDwrCql/zZK4aif0TCantIBC5hlSpfWLcbsVDa2Birc6DZAAFhaZ6Vfq
bORks1iV69OU2vyYpAW/VMqzp02hNUV7qstO0Y9Rgwrl4leDJMUjgvNnm1ZzdBA7
U7JrmUfUH08b1MuizbyCWAaElZQng2XCnCYtdCFegQ8Y6xoIT6rNDZQ3kXEGvL8X
mqqPW6BXBAi06+DX2YhALpRL5xd2KYUfi47O+SvvoQhzx8dMeM38+jurviLC9gWX
yfw9cg4+8CjAqT9HAd3XJPqepLEprgI8p8SsiqEXFquBR3u0Kig/nbN5fRzsk635
5RMC40IKd3xX6i54NBq7nIgzlhm7aq4RwPym6L1ZB89/lJwKsSFtY//tqj4Fwrcw
xhEhzI0wOhWXYJ7osa1OCzrzE3YqtZRiTfdwlnxF6UIfRIjaMAkNOjYYiU7KnOeu
63v/ztzrScVP
=BQxk
-----END PGP SIGNATURE-----