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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20260603-2build4
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
 8aa9b66f8737e22099172b23fb8bda69bf066dd0 2576 coq-unimath_20260603-2build4.debian.tar.xz
Checksums-Sha256:
 e83c9539f7586c2fd0c103d104449eddf14ead5d956d995660a9b76d007f2053 4201408 coq-unimath_20260603.orig.tar.gz
 52db7d74d463e738fc4a22e65339e1fceff0b8784767e3a0e46406dacb4cd9fb 2576 coq-unimath_20260603-2build4.debian.tar.xz
Files:
 c400d964180fb1e2d358bc84a9898974 4201408 coq-unimath_20260603.orig.tar.gz
 b0dcb2b64f075e3daae62c35a65fde8d 2576 coq-unimath_20260603-2build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtC/0ACgkQLIPbyOm9
Djf7FxAAlk1EA9GX+2G+X8T1i9ODjz+5tTWtjlfxNfJM2MdbgbL7YoU+mznxKvQd
fCDNKrXZIVBd6exNvTf7ywIBFxcbyQl5Izio6e4eVzIn9X4ByQDLl17KN20C5Cjw
1TKySj8VcRKk7R+UlysI6z5jQUlavhjOr09NQ8sHPhtiMjnTqFtVipk4CHq+kpTp
5+447A5xjwdF0W37RC4iVmGVysnTl098dDSobQrydb/08JkXXLcvi9H0SYeNfUKp
wVN/GoRiKasrekdDWa0HAFf51G4dVK0YIB1yXXgYH6+wMaddxE0URiWHAIOLVpgW
aupqisSfkWHOg61WE4mbOPHCZqyVMVw7TLqQVZsxPlTNJqzIdAGT6b8KQyYEWfnz
MiSMAKnx81XiMr1lfJjvrcC5PupPRhPvj7MjI+s1zdUnyFlYWpu65tJo0WGaa3G5
HTPVSWUELOSVdO+Y1wZ/2p5Sf4BcbYH2Ick0BeU7hSYKnC/XIPGgoU5Do56Xe4Ep
CttJcr7U8XslJ3p7myQy+EU6rHJlRja/EIj6NXcB4vrJ7DLJEiIQGWzrQcfVst35
BFhmP6pBZgkE74j45bmcixABBZfSEOt3YhKv6WmHeH8uRPhmezJrXgaOYB9kKDnw
DHKwu9mrCjdJtIeNOwhM6VEVKlqtPvsfF7XCp7BWnyZUKciHEOU=
=WwS6
-----END PGP SIGNATURE-----