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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240923-2build6
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.7.0
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:
 1fd8be330c38a557b544ac4376dc7ecb1bc1bee0 3609745 coq-unimath_20240923.orig.tar.gz
 0efde7ad37f6f21c14488435e56b53d879f2da82 2520 coq-unimath_20240923-2build6.debian.tar.xz
Checksums-Sha256:
 db39e7f49c539509caeadf9b6486be8c10f3afb32b6858003abadc7b24aba3f0 3609745 coq-unimath_20240923.orig.tar.gz
 0704682e38f16edfbd97174efb08c591b8e7e067952a7e91328285c21947dd59 2520 coq-unimath_20240923-2build6.debian.tar.xz
Files:
 38ac9e25497c1061b099ece8ee5f141d 3609745 coq-unimath_20240923.orig.tar.gz
 df1ecc7bf5f4b6f8e1ba920890597080 2520 coq-unimath_20240923-2build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s+gACgkQ808JdE6f
XdkMrQ//fYzvCEKMzAu+xPVM3tMmEryozCrou1090EpJdJCOmIhfV6b8zYWawE11
KyI9R93gmZ8yuvQowXRNDX1GpUVSlOV1+ajQVs/tYKff2k8xv1nMNxzxgz+Q4jYS
3XNHFPx8Q2EI8Kx8/TI55MApmTIjLlwh95rt5FXzssK5JCnOw/XRzc6t2/LIae3j
vwNRUzl6SE+YyWMOnQvIfGdBBmuv37plMOnln7syRAnBZV2ADABvQ32oZHpRzFrf
ikBRYiCTjJu7SVlnp1hJVVPvelaEuN8Z3GwCJvsFkKVaG3IZICgfd/HHUm7/xEL5
xaXiHAO6U49ANjFpOGq+wLWX9Fr+a7NHfXq3H1bv8qfvvkTRmcdiPbJ7sTEFSl6r
ThghNOEBg2zQkjtNKC9QtkT3m4IBerll4oazHXUKoDH0CG9Zo1iDj+FsKTM5A0uG
usBnAKgMwMYxuOdP/x+iQX5CoB+Ie1WlRgy535SlauOC9Tk4drhMhX8lsqEh+Dyi
gpvZf6aae0LnEeAw1JnEkJrjZFX1HrrKdti2I0RoVTAXDAhDlxD14oPAgRIKzVbt
f/bif3bMKqEmmsrRp9dmsHesiB+kzhiWrYVwn3uFC2lG+tj41+8DbKXBNDBihe+2
5Uhb1uVIzCL4b+mLnX6Nc/lGOlflElPViip+dPSX6Le/1u1jIXY=
=w85+
-----END PGP SIGNATURE-----