-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20220816-1build1
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
 01fe5355b04ec8f5e6e7f44b81705393fedf38aa 1808 coq-unimath_20220816-1build1.debian.tar.xz
Checksums-Sha256:
 c03a648f95570b7e3726507b6e01e642e2287bfd5ef061aa92c83693043a7920 1986848 coq-unimath_20220816.orig.tar.gz
 ae28e5cc318254bf988fc34f04cc5f5faa7d4be14a878a47e700194d585a99e8 1808 coq-unimath_20220816-1build1.debian.tar.xz
Files:
 8477650af351ef4c383c7c6e2e214def 1986848 coq-unimath_20220816.orig.tar.gz
 de3e31b1d5f59082d3d163fe92083b40 1808 coq-unimath_20220816-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOAe7oACgkQ808JdE6f
Xdn8lg/8CkWVLQ7G+NmXPT+OlZl3QZz/+RuA/bHUbOjUS1Uo37qzloR2b9WMRPqJ
H8QbNAKjuNMJthITb9C+fJTZ9Z/rGFPE/78BKpWxgJ2/2QUxJxjqEs5BJT6Bb+nc
7rbvrYebbFK/9MSp/NoUGHUEN8cPB+5xsV0rHswM3S/Wl1vLvL9QueG+AiLYXaHW
bRphMufl0G6Dfucm41xPhobz0glsKdsu8CqJ3aQEbzc6SJq+I+6xoj4BPX/GoSzD
/BWsq/n5QByEK1IRW0KXkcYZ9Hh/B0OPMgxnEz5aAmC7Mgs3cie01HbVE1rOXu2/
/Hv2soyOnE4hh+8wuNOlwpD7PPz7Wi5Ff4i+YN9n7XD/guIQ177W2d8I4YRzjZAX
uNrVZSyNFmyRWh0TFRktGf94E4ptWjkdL+LkeHYD62+dyX4K4QnrDdOqW/r0jfxO
eX/3dJATj9vkqBJYnlfGwut4W7P6Nxdmqe/rWcq/L+2doB8jNVMbsYUEXeH/GAM9
wjfsMfOzpGvtFl/sRdK2+P441wO+MOBhsgG9gbzS9DsAaiG8wrB4TTx3oxXIN5LE
mSBYRO6HGNnwVMQcOVyxLG8IXHkZIdaIYkdo0PbgeMHMcfueDMWrerjzFyQWx2b8
fNfzS/QkUVScwafdKxMoWM7gINDihUS39h4tntz8Zp2SdXfbKWw=
=e7Cp
-----END PGP SIGNATURE-----