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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240923-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.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
 3a4c242fce702118118a74abf191377c4ba37f98 2364 coq-unimath_20240923-1build2.debian.tar.xz
Checksums-Sha256:
 db39e7f49c539509caeadf9b6486be8c10f3afb32b6858003abadc7b24aba3f0 3609745 coq-unimath_20240923.orig.tar.gz
 0aa5d686aa696c2c67de861b80c3d689dacad5e84d07abe02130a7b80ac109a5 2364 coq-unimath_20240923-1build2.debian.tar.xz
Files:
 38ac9e25497c1061b099ece8ee5f141d 3609745 coq-unimath_20240923.orig.tar.gz
 e408a607b1603496e58ab62c8033544d 2364 coq-unimath_20240923-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc+2IYACgkQLIPbyOm9
DjdAaRAAhlvfVHB1XX9MY+iTox0j6FeXMKBHGGzDlwKcHjbQFROGWBOygemQRwOk
Y6mPd/glWArvP+yr7sVZGm2RENJeCWePa5QuWmaiOLsCzigKtBCVEKC8tOXZGLVJ
2qdOxEE2oioTjpmwRsr9jZD2zl1gxm0Zy9MkvyDL/jHNfSmhlzNQG59ZP1SCPurt
t8pJqAXuDb93roUA2f1I4xotC3+O8GYglZPRvWDpUySCXuuT1VlDxewn3hC1wqn8
uuH4uYsAJiJI9g1rhw7EtQh7B9LhuFmILMlupIGnCuq6jq7crXauY6BPPw1a+EMO
Qq+eHAtPBc00iRWtFcxlF5SDabpmxuI6XwCVxPOuWOxd8BU4G2yIM0pXg/A9qlEE
sLIIZ6+nxyqBv85/+rWbbPjKSEpRzfhQKdytkHjUYr0wewiVEtNzAFhnm3BEoaj9
DZjmC8+TtO6EGD+0uITUCbhHHUlqrX0Fj5/OA356V5aU8z+9/JWJ3MJkY6MxgqK6
Tj//h1rjPSkebRx/nC3rbyFn1iQC+EmXWPM4GR1vVRxr449wsUuOHZS0NKvV3JQV
XSa1sMbXoa1wZOLSz6OewQHnPGIzCGlTl67Xnhu8DnNIYKsJ0+zIZLFcQHb9nE1s
BjsvYDXWEOj9G5rifvq3/Zn4MlArfh0o70YGPvaXV4TWl+1WBhc=
=0lMt
-----END PGP SIGNATURE-----