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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240923-2build4
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
 69000a4ee4d0428048557b61d337e6506ffef4ba 2488 coq-unimath_20240923-2build4.debian.tar.xz
Checksums-Sha256:
 db39e7f49c539509caeadf9b6486be8c10f3afb32b6858003abadc7b24aba3f0 3609745 coq-unimath_20240923.orig.tar.gz
 1cb619027c9d8aa663342e8ddc99b5565fe9ee315f8f0bb8ee26a177b779e858 2488 coq-unimath_20240923-2build4.debian.tar.xz
Files:
 38ac9e25497c1061b099ece8ee5f141d 3609745 coq-unimath_20240923.orig.tar.gz
 32ede69a183427e999e201e14d4d0daf 2488 coq-unimath_20240923-2build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRgAACgkQ808JdE6f
XdnTPw//bgnZm9zQgNK55mVKKYALSSqwKgy9IBuQFUXmrXD7VQuACIUN+C5/27JW
oUs8fAnwpsUDzvsQPaX9k3SB5OeXnfWQsrbuIcLjjIDZqfUE65AE9om0N+oUgtLS
nF2NFveO6hiYKhBDO2FTA/0mEnH+x/UBE9VzDFcyfa6Gh8sdmhpploMygdw2g4H/
b06Ez6ObW/B8NglgiqQar94HdEkg59eSBaiCSHtp6x3Pm8e3cB3J0WEsDRTZlqrv
2qrCYUzIMAhN8wPl6YQi4QcaFeQPPD42A5muFrxyOdOPaV6Nl7zBCD3pwmfqzq6w
FSbVlfr+XbcQaTFw0nzwYC+cvu9ucZ/CXGzzWAx6P9rcswqUhj7ByYDujIMWR/jr
amsvSWHZeGUcn6bzHR4uvCjD5jB7w/N5aHIz1R8uZ6R/VUcu5p1IdpyWiwMMqEg3
JUe06aRgS+jHwBBkgNz2GQUDB3r2sUc/DvS654zmeZOTvA+MVhYE0vFzYo2rQhMW
2iQUAxR1v4agwzL9Rtk8+00OK9eDbpRW4D4nsbtwAilV7FV42b1W+sJ5BE+b2zcW
YbO7lYbLEi48FKSchGnKF9OAIJb5Kxj7Aj+9CruMQiZGrkR5M2Al7S72WNAcdxIL
aTCpqi8i7GHZ4oc/GM+cvmiD2I5XI6GNh8vLevTUYuKmFwZrOBY=
=GibZ
-----END PGP SIGNATURE-----