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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20260603-2build1
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.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unimath deb ocaml optional arch=any
Checksums-Sha1:
 633a5821c0e84916c0b0fde1b69bc5f6849a297f 4201408 coq-unimath_20260603.orig.tar.gz
 f1410adf34fd1eeeeddd6d9b3cf6cec4385aad9f 2504 coq-unimath_20260603-2build1.debian.tar.xz
Checksums-Sha256:
 e83c9539f7586c2fd0c103d104449eddf14ead5d956d995660a9b76d007f2053 4201408 coq-unimath_20260603.orig.tar.gz
 e011b6418d12482a44bccf73b2d62e9e3842ed49bcce8725ea7dfa8cffec3310 2504 coq-unimath_20260603-2build1.debian.tar.xz
Files:
 c400d964180fb1e2d358bc84a9898974 4201408 coq-unimath_20260603.orig.tar.gz
 6f244425eb53bf4a9158a1efd3aeca64 2504 coq-unimath_20260603-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqQQuwACgkQ808JdE6f
Xdk85g/+JHebzgxPUieca9R1ANyRVXgQnYZjpDb3502Z17ZVSfNpEut4s9U0UDn0
2qWy8DSzit/UeEPQpz+v73gZp0pVEZlVj2wTyyAJJUlx9cuA+Q2JvgWm1RCBZKnR
oMoCyHBTaZJr93PE5brP/eYR/iR85JJh+2kvQwqcz0ZJ7C0FbmL+gHDNiynEfgd6
WCdIYeq2Jhkee0fJ4U21yYK8iBRAAc6rAAT9vZHrHBFR1rl1YB9gr5URn+RPlOsU
piz6LEzHlACw3qnJWR4ts6LcLWqxsc17jWCYH7uDx+bx6syVQWqUbTsnVAvPSjAH
GX/NZTkfw5KhwonE05UEnCG2Zz1d8GOjUh+rH0uM2EJNYqUx8jEmO+7weohdUmwi
NYjYwuWvx2FUYT+ILUwz2NUPAmiKvamzFgiMFDPZ+ALqHr9aB6Xl2Us7przGJXor
rbW9ITqaC+v3A16Nc2Ixnst8IZdgTl4DpZsNE3NwdImJ3g6RTrqSPyZKpkRoT1H7
AkMeTvAP//tjHNG4c45XCQifdD2nV9TRHqrXydPjxe5S2bftlAIun1rt7aOnVZ7Q
wnCtOROMnzwsGgk4OTD8qHdgJVwNwqt65AiCqL3CSlLZbO0SP0zeUyKtopkyye9V
tcdKAElJrLzelPZbRjVEwqwkkpIanSFivhcDi3T02z7TnQM4RfQ=
=6YUa
-----END PGP SIGNATURE-----