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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240331-2build3
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.6.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:
 10c7f870e46e293b3e96e88bce1433c54597d6a7 3324158 coq-unimath_20240331.orig.tar.gz
 0779d792df01bbd9f04a10989d4b68173aaeae77 2356 coq-unimath_20240331-2build3.debian.tar.xz
Checksums-Sha256:
 613e5a9e1fc502269b4744209827b853505999ab28e59e60ba55e6fb6daa0c0d 3324158 coq-unimath_20240331.orig.tar.gz
 f8658f83e26046934111469588877c3d31a35e8a75abf046fdca891b5bafec7c 2356 coq-unimath_20240331-2build3.debian.tar.xz
Files:
 64fd6c6c604f56ee3a6387aebb3d2981 3324158 coq-unimath_20240331.orig.tar.gz
 8c5882f4eee0a5e83674d5ea74917793 2356 coq-unimath_20240331-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbcZJUACgkQLIPbyOm9
Djc79w//dhZGVzrdazNydoJeij123KBNlR74egD1RiG+oxG2HLxUYfBCslyZJnnd
LLLYDwiV0wc9l8E7NrjuAxmc7BNhUAcPwcA58G7HgyHnxRbQZ8xTXbWY9lcZo3d7
WXX2Zrd/f4uGL5ctGvzDnjOwqU1RrFtjRJp7o26RFPoGGEYMnQQr71Uusc0i+LC2
hdmSOgjhDgtnlM+Bgs7Fzj6kQMWX+2yy97TsVjvV4pRd85a/mC7FCEEzxz0a2YLJ
xA5hGR3aC2IVNtpvlyhxgkbyDL2J8njYdRAMlFRjEEHS+EoRc56Zl6osLWxMPdRo
OHV2v6sYDEMIVvmKqrbbN+4Q7t2ULiKzg4Dkcu+0WX4CMPkfpKN5PeU6aO/JhlfT
wLbqXjYxwQ2RMiCmFc+q3FhYg/we9SBpvHil7U3e4HP2UthxRrGe20QiVeIF/c9J
6St2/AkC4TRWUnmzqN6CKkx9omPf+BilJ6fU0BInW4A+cG0Su2qYCn7dKXrCUkJB
Sc7Efwb2fWdO4ccRdz2wq+0p6IL3/8zF5+8MkyTB3mMBLj70Aghh9grjHxrDYZiR
6B2YFATarsGBwlrEDPao2LLHVD8l2zStzDfn9OZIqCcMlN0D+N7j5FAGbGlN6ACT
ehuOz6neabSz8mbCWtBjpoQ21crID/qgJIljkQGqEEV5TvtJPrM=
=veqz
-----END PGP SIGNATURE-----