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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240331-1build3
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
 fa4fc8847f8f0de6a78a3533e29fc01899ee60cf 2220 coq-unimath_20240331-1build3.debian.tar.xz
Checksums-Sha256:
 613e5a9e1fc502269b4744209827b853505999ab28e59e60ba55e6fb6daa0c0d 3324158 coq-unimath_20240331.orig.tar.gz
 3d3f0d614d66d87f357f3a44d0d2cd9dce5bc46bdbbbee157832ac98161a127a 2220 coq-unimath_20240331-1build3.debian.tar.xz
Files:
 64fd6c6c604f56ee3a6387aebb3d2981 3324158 coq-unimath_20240331.orig.tar.gz
 970d47ae8c3b3c371e47618d42a093df 2220 coq-unimath_20240331-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtpsAACgkQ808JdE6f
Xdn0PA//fCEZp+j4ApgWZV8vCmZ3kgskMoYNDANxYjooeqlXp9FYW02KkdE95SvJ
Nrfg+dFKlFmLrXluP0xQiG1cPnclQ4S7QsPKOs97zI/DuJowYAzXEli+P4bKaYg5
rjjf1dNDXnmiAFx78kqm/ARCF/zSpYOA6R5gZyHgIwcZsMFfl+H1CHYsXPYxfhYl
uQCIIn1+mdqC5+mHxYPP7cFKSpLQ3Ji4LuHiXIAUoMo6whEti4EG4ca84r6Hp8AV
3I7tE+WUK1SCwtCWJmcobbhYu1bse1oI2Iq55ufo27UuU1ZwdVwjRBameRwqTbhR
tHOQjuAi3klp+j5lUz022uN/6gw2YwlKi4xAdB40VH/23ahMsECsLB3T/3d33XC9
Ok4XyfB1gNCnBoeP+8OT1S7Sc0XG6ZGb9ACl/JgJijXxemm/qrKMRMmVr+jbN2ad
9Pc5NvYX/5LMj7tHbCbe3XMUDUTaSV2YlrrUI1r4JLA/tFcTM4pZ2yT9iYHMMGfu
c6FBDu6iSkYU4ZuNtS4FR5JrEnZ3stVApYYwglxxZVgGpZrf7q/RLCnNK0sSULhE
eDiK7gWt5sa8B+yTxPj0OiLYwm6xPEjpT2tRlm2MjQ/GlpmTqAjlcVF4WsjCVqim
RMXbAFX+uJj/9KyFa1hMNboVFFUCn776GbYY3TBpYjQfto7jyas=
=VodG
-----END PGP SIGNATURE-----