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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20250923-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.2
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:
 88ac77f63f8a6469d9da28237e0f5af14971a2c4 4006350 coq-unimath_20250923.orig.tar.gz
 bae1c0e424ae63bb7701e778e7386dcc848dd742 2372 coq-unimath_20250923-1.debian.tar.xz
Checksums-Sha256:
 afcf4bbc94cdd33ac59c12ef3201af4cef333b36d30769c8f6e5d9c13783c82e 4006350 coq-unimath_20250923.orig.tar.gz
 4bcdc7ca66a0492126e50beed341dc7603613d7d338c4c24e4e3b14cfe036ce4 2372 coq-unimath_20250923-1.debian.tar.xz
Files:
 396c95d924f07009650bb0e93273cfbc 4006350 coq-unimath_20250923.orig.tar.gz
 f8a88b1821d8f8c60dd8bcdf04d048de 2372 coq-unimath_20250923-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB2rIZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSRiEACna2u6Dh/GYUFFHWHNR79C
BRl/p+VlZ9eNNxNrE97Jd8crZig441qlVMgDxSh+ahTl0FbQ03uqque5LWxBfmrJ
unW/5x6d8zJL1ZafYxNsXvVaggxuq6S+28CR34K0XSnucXU8+v/Fzr3IpdfqSIlP
KPHAUpg6zhWsxxkvCYzw2V/XpfP8Eu4vmWUxTz7uO4QDDXlOoq6vYzAOCP4M3qsi
+4tUp1LcPEtL4cBmua3PIYK99eiaH9dQdHn5S0URsydvmUptD7+IKcm43ukSj79L
76OZ+jZX26Qxl7oEkGrMxaZpaJ+tF2ta9JftqH1mxTLKjrRQjX3KZM9bLin0Pk72
rm5SYrRmhMCrfXbRt7Jfgd5Isn/lizssws4R5obrpP0kq24ivtbHWXbSl0/8Xy9q
LMGvO+jkdDpXNymimn1Br2MwGpZgU5gG8ynrGln6vTuxnSysqoPW8vCUgomwcUYf
iyhnVHUM1HlezUlte28Ke8vAQO0QFwtN4BmjFXUjPxBOQr4OHdBvsk1DivcTQqtu
uBIySj6Vo+5qZQ+HJAgOsLX4YtQDWPK/e9vncr2DCWZZAHRdTmrf3vBCHOls2KIo
Pf4jbe/8Xfk+za6ZqvWlUKj0VrGSh7E6178mGu8KhJ123W3c+uHfE4ow7zjvzPgi
ctjNhHjacHYMlwHdvn9JvQ==
=nuaU
-----END PGP SIGNATURE-----