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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20220816-1build2
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
 a414dbbd2e140445d6e3833c3d5a919835edb324 1828 coq-unimath_20220816-1build2.debian.tar.xz
Checksums-Sha256:
 c03a648f95570b7e3726507b6e01e642e2287bfd5ef061aa92c83693043a7920 1986848 coq-unimath_20220816.orig.tar.gz
 11f8adc8bec9ee9663a712228dad3a25d4e77fdef02668929fbc6b4f37100316 1828 coq-unimath_20220816-1build2.debian.tar.xz
Files:
 8477650af351ef4c383c7c6e2e214def 1986848 coq-unimath_20220816.orig.tar.gz
 f4ac497a36d7a903ea1eb4e3437b76de 1828 coq-unimath_20220816-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGuMACgkQ808JdE6f
XdkJyhAAvnod8QwTaRv90oSAhJtMVwDJ+kO41P7hilt3oBNsng0jat8kRgyr1UKF
Y9qqYY4QmpWSC8mKzM8hCIqOP4RP2gl+BbqBtGC5/7ArwMJBRPz+pq9Yl5bpvJWE
zhKKkUfUXDFWDVgdHTSdaBLKFoNTtfkjWEDZgHd0WcxeHeSwFVqAfY/rRJUMZgiG
ZCAhhgood/O8sK7uQo9E1c0uq8S/IHnaCycco93JPFd/KPRpCn7365pVF3fC+M4g
aa7/I8ImdgSy7V/tF39Drnv3ioFqJjSplj+OQj43b7IcQis1g/QWlCynNuNMfqwq
+JParP9+DNLs7IjrJeSx3P3PfBWoO/RKsEzXH9yhKJmw1J7VfFjq4hzNDymlFsUk
3erDxyA/9TySjdPJ3JrF/uhLN3c+UYUvPRmg/EeHbMf2yEPHNhwJCan2KhhB9Wk+
Ni7vYTB3aZ43HD2dUz70FdNKasbWNTUzS+VShw//5ItSxTZ6GU5aEijxz0JoLLuX
9xWVENRV59GkSltKmQ9jgheWX52KhUAsA6XWhauUQ5rYaQFbD8whbrtd4nSydK1Q
D2vx4O9ADZ1Ql23scYHzPQed3kVc25PuoO8v2bCz4izYsC8JUWgKr29tgEmpwDQu
9A3wk7G/e/40ho29SkrpAdsQYZqErpM42ZYs0z2hFkrB5o61z0A=
=noVi
-----END PGP SIGNATURE-----