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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20260603-2
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
 864bb2062410920298f9a4e7fef5ee1a8d28dfd2 2432 coq-unimath_20260603-2.debian.tar.xz
Checksums-Sha256:
 e83c9539f7586c2fd0c103d104449eddf14ead5d956d995660a9b76d007f2053 4201408 coq-unimath_20260603.orig.tar.gz
 6d7320bdec85671b553db34dad6432e7f99c0e8d68b83c1ad2ade6da4b877485 2432 coq-unimath_20260603-2.debian.tar.xz
Files:
 c400d964180fb1e2d358bc84a9898974 4201408 coq-unimath_20260603.orig.tar.gz
 10fe17c6e71afb1a7116b890b0e0e5a5 2432 coq-unimath_20260603-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpog7AZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTurEACHIPQ0G9zXWCIJRDH3uJod
l+dhJM9DIwKuy+vuPXK7qbsY8So9vIj07rO3sE0eA6OheeXR1ds0PwGUSMy/zDT7
OvImxpXLzHGELD7EktAW5II7Ww3mPKsvFMUjXuQDO7Ix1F5PsfafGZ77zKOp6EZm
0H7XP1ZktFmPMJ81mUe/MPtC+kBUyOOkGQGA9bHLk16MFKSeZQE8DCRTRoYeytZD
rbMPS1bEd71F/AyEtsSgOt1zz+bcQL3sVw7XOzJy1Bo89dRs5yWrcuhYocbe+iL4
rkDxWPx6d/UQ0yCgQHqjX3sIBniC4oDpN9hxAa5LzL7eVfEXfgg8qKuEYU8yK4Ry
hiZWIFfyufv38p3r0UGsSzcRo5ACpVUv4TI1Uom4fAOnAsD6dOvN/yBSzEJzfR0P
6y+59+o6G+LStO3bkQGe7AbigJU04sCpAHV23WmudmPgMGIJSewvKO7dLFQvu9Qr
9qIW3Sft0fMLbb7hEIDvC4CknLNdT2SgKTUTTgt/kuPkeH1ngKZzqhx5fHcAe2+B
KzsSSQdf4DWE9LmINeLBoRO9LvAc43/Ul93rKgcdbu2yeB2Cw/64B/KlY3KjpmM0
sE62qoqXGl0nYm/cPDfirnIzXWRJHpoJuNYXI+sOEIYQF7fAv3lBkQMz19wOkSB1
CfNX1m/wxAtC86EYp5r+FQ==
=gZfK
-----END PGP SIGNATURE-----