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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240923-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.0
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:
 1fd8be330c38a557b544ac4376dc7ecb1bc1bee0 3609745 coq-unimath_20240923.orig.tar.gz
 d79f90039eef0c3fdb0679cdabd332017fa6f68b 2352 coq-unimath_20240923-2build1.debian.tar.xz
Checksums-Sha256:
 db39e7f49c539509caeadf9b6486be8c10f3afb32b6858003abadc7b24aba3f0 3609745 coq-unimath_20240923.orig.tar.gz
 acbf26d3bbd55a056d83a12702d0b038f2ddae7168b2713c7d411f7c6d8a2d1d 2352 coq-unimath_20240923-2build1.debian.tar.xz
Files:
 38ac9e25497c1061b099ece8ee5f141d 3609745 coq-unimath_20240923.orig.tar.gz
 de55c50319ff19703fd33c9fc9fb95dd 2352 coq-unimath_20240923-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmee8+sACgkQ5mx3Wuv+
bH32Sg//VcuIqcMqkfl0pzpYorP8RlC7G5i89YimUEFdWbWCQGjHMTcrP+m//dXF
x4EyMMh3rXMxcA82jgQ2XPdccjDOanHwjJ8ZjYznSwcQrK9RkwxyKb6lapnI7j7N
Nej6Mv25qZjuX96OBmL1iElg5p3RnpplodsEV0YbqOdtSDMnzHgnBU6ipm2M+dSl
7VdTvrSdYPX/kmCfaxmI3zxYg5T73tfVtQKPLEyecc+stZIyzt+q+trl+XZXtYEU
EZrm2fkS0QBjIAJ7gMe6V65KWWzDMzXb3f4kit7jcr7L8aea6iH7qa1DeMnRXLIh
83/lpH5ZkR39PgZFqDTtfTSIOkwH+elRUj+gSYnZPfewjkeOSj3bWalrhhVPThal
cnSLHqHviFD1zXccAYRPL8jgOHCYCy2SRuxQrLeZU8Spk4wJtCilRoNegqdhrSH7
fa8DNBdlvPIhRsXnsI7zz9ZQCQBrWatEZYhabe3gcCe9vL6mqCyNQrShvWw/weoZ
JK246OCYOpBz2wWwVWz9abuGoGcSICFWFDm691dm3lcOyL7xbNA1/p2mafiJEJZ4
TGQlG6mSp9YkavZMpgKAv+vkDpZ4r1OK1dnxAmRmh1D++QI86kCk1u2gx/Bkvydt
GgsuIjTSdj5QB3N/N3rx6walGX0lUus4TB1mOaEaw+vxS7gCV8I=
=fhhi
-----END PGP SIGNATURE-----