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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240923-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.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
 9d3b9c719baa3b200de98e21e031db416e8e6d0f 2252 coq-unimath_20240923-1.debian.tar.xz
Checksums-Sha256:
 db39e7f49c539509caeadf9b6486be8c10f3afb32b6858003abadc7b24aba3f0 3609745 coq-unimath_20240923.orig.tar.gz
 0418590fcea27dd2ab179b7f3a1c4e20ecb629ddc9543b162fe44cc729c94416 2252 coq-unimath_20240923-1.debian.tar.xz
Files:
 38ac9e25497c1061b099ece8ee5f141d 3609745 coq-unimath_20240923.orig.tar.gz
 f74c76ae79076ede685d37b0b3b04875 2252 coq-unimath_20240923-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sQESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRuYIP/j0ugxqYwNYoUtFfypoVEcTjL6Qc0Vu/
ppAYoc5Ehmy2GAEBGiUKhlrtkxG5tIQkmSsyxqQnhGxFAO5ET7X151P84ub/752b
o7MbTn1+bsSZ/fnOq/EiayDOt4Z2hM4G6X5um4ZAqCTOQbqEKPOBwoS/Gykf4bkd
kjfDvPfd1RZHpJX+BGM4ctVIEfSKcZmwqQl9fyArZ4VpffzlyHPFBwqo2S/BM+mA
0gMt7KT80GDJn+83cI1bEvasTIFYClkhhcE9S5KjTyAieGPoWjQih6If0HwA2GzG
QEqehHolhrhSMYtsctXnvM6wv4fHIZa5vtmJmlKffSmvJn7gxdxdstvD3k7b3Ips
y4EGBxKBJJtmJytp0H3Ty/F0W4VpW3UANR4m2Ha238VhxNXMToJ0FaGoidJD1spE
6NGrcd7rib0zOiHihoIu6v92jzTavPQhppanueptgJVxrzZuAfnOE93XI899FVtn
aiY7r8S41YXFlw7TC1jqAG1wKN4996iZjJHDD3Balmf3CBy3CXV/JxNNy93rbcKy
cDBSH27VowcRoczTSiF/PEAYlEXwySvxIhehfz0ybkfb8RUscLIjelwDki0Zh1dA
JbxijYEDIpbKX7swmNThKZA980+bO0+1k+s44DBBpKEm6GVW+sPQCcJtmRMcw+KG
HApkqYcto+Kl
=7rQy
-----END PGP SIGNATURE-----