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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240923-2build8
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
 5e6e611a03d4b6277d22295be58a19de59081ab0 2596 coq-unimath_20240923-2build8.debian.tar.xz
Checksums-Sha256:
 db39e7f49c539509caeadf9b6486be8c10f3afb32b6858003abadc7b24aba3f0 3609745 coq-unimath_20240923.orig.tar.gz
 c23757df0ce9247c7107f128c855c552f152ee2091beb571190c45d6f88332f2 2596 coq-unimath_20240923-2build8.debian.tar.xz
Files:
 38ac9e25497c1061b099ece8ee5f141d 3609745 coq-unimath_20240923.orig.tar.gz
 420fe2ad00391ece6ab8099a7320d20a 2596 coq-unimath_20240923-2build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOYhAACgkQ808JdE6f
XdkyDA/+KdAV05c3Ev9aV2/KjXotLYtD9bf9hU/OtFYXjlRpkH+K/4TfZ5P+gZCt
Ev9bH9XDKQhZVohuqzE/l2Pfj1iePMuG0SRJO9S3oqDXGNPYSXidktwRgHz0uw8L
skz69wLnVYSx+vYsonp131NXfBTmVasQuT2PySReQt8sfj3ZqTdP7+7o4NlhGTiM
nscpQ8fzYDLp0KnrwiQ3XD8ze9A92x+cL9PLuNJrfv9a+KziXzh+vINdhB301qyF
re+79d+MnTNFqaQ7Rls6rLzEJHAVI8H19zYuN2hjexoVI9WVc4U3qXI2oRMiA3X/
vBmAEob+niTqeu3aAAK9sBsvgyVqWaxRsaErzZmTH/Z4+QkpZzshELvsT2FNaKQM
HKV4RyqQncDVXVSdjDFcGBBrANCowN15VAeci+r/xEZS8z8AiXOLQbeVDEr/vpwc
x6tiYGrdGO9xtLE8F/n/lKtGiKlt7dJaQ676LbcPqCA3dpXiORe2DIwaJRObLDOx
xuLijHZnDsA3By1FEf6OqdaZX1vGSb7AOYmhPYraHtznO/5d9x8dv0JMOmBR2PHi
+2wJWvGNfe6QipKYimI/JdCWrhjKoVukhmx/BjgDXAdPr44O96rk788ZQg3yRd8u
npWXaPtrW7eu//UowZkxj31dfNktcbeZq8aThVoDgt7ZKzrwGTY=
=wl8k
-----END PGP SIGNATURE-----