-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240331-1build2
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
 611881be06cf8bd522684df887223a348e2c43b8 2204 coq-unimath_20240331-1build2.debian.tar.xz
Checksums-Sha256:
 613e5a9e1fc502269b4744209827b853505999ab28e59e60ba55e6fb6daa0c0d 3324158 coq-unimath_20240331.orig.tar.gz
 59f9638a250f0da4a3292ddbcb188929df86a588c8406554125afb80061670dd 2204 coq-unimath_20240331-1build2.debian.tar.xz
Files:
 64fd6c6c604f56ee3a6387aebb3d2981 3324158 coq-unimath_20240331.orig.tar.gz
 b6be9af66f2505811881da2cbd7e8e2b 2204 coq-unimath_20240331-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWiAACgkQ808JdE6f
Xdlbrg//S4Uh5uLCg9UMgHaGewIbSNm6ZZP5jsYub/4lmSXNrMdpUII3CcxwjsuM
ZOfawiUaddMNwvhcii8mA1+se8sV0HJ9MfSbktTOQgKsvrKvdP0gNQ7/vX2mG5Xj
GDDBGND5ounxFXisNnpor9uIVXeqT+E8EZJxvZUIXPTI1klTE7GLt01ajC4b/avE
xPdkPB+GraMfT8cZCK6p79PFbRBmbKyzg5TzurT2zU4Y6BwNeH+/B83WoW79yEgA
ePNjWPwHzkyz71uNZ2WuVPumEceYNB8UPXcCpDdhCTl8I5HJSojI/bj+91Avp279
gWaFG2DdzfdH8M/s6CyRWelIVPiZHmSMXh0sFfDxGzf6xg6QmhwwbIJpCLPB6f6L
QnhSXg7NGK2+ULIku//+OchoV5yJ+usjNxAupNS3dBhaMn3AhqTGtsftu6dy7UWk
7blpwx1O9q566ITBE3fAWdqAhxaJbhm/+texPh2MHAtGmqHiSTqXhFbHZ3hgIPCQ
UdhQDlBhrDygpRkzJWLWkgtksm1z9MUAV/9l8acBe+5BPateb3LYt1BwutccSh7i
Sq3/5aESuFzvzlUAMHrboJCJS7zrNvhuE78J+28hGUfrWaoEQkkgbCzpMeyV5ffi
2UlKKUu46BNm8wElXsMt++RkN2EsJauJBGrfmzwuptoo5RaDO8c=
=zTrQ
-----END PGP SIGNATURE-----