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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240923-2build2
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
 1145e1019db092ca55efd9d3d9e632e5f0a641ea 2412 coq-unimath_20240923-2build2.debian.tar.xz
Checksums-Sha256:
 db39e7f49c539509caeadf9b6486be8c10f3afb32b6858003abadc7b24aba3f0 3609745 coq-unimath_20240923.orig.tar.gz
 b4944f0f6eb9c90fdc30660fb2acaedab65ff8de15e9893b77ae0df05d06fdff 2412 coq-unimath_20240923-2build2.debian.tar.xz
Files:
 38ac9e25497c1061b099ece8ee5f141d 3609745 coq-unimath_20240923.orig.tar.gz
 b4c9706c4d03c3124c3cf8d176019683 2412 coq-unimath_20240923-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeuge0ACgkQ808JdE6f
Xdm1fg/9E1u2XQWSI8fnur4Mmgn/ixeP02H/dNZfNENNrReASkJWBtXGWwyms7OY
qFGtlLOjRtdRqIp3rYqL0RP6uKJbcUhSCQDoiQxX3pR5H5WUu+W7IIWUxaj2BgzB
cmE3BYYQ54aaclzDZJ7rRSp9SDGpCtoT7T7Q8VotSRyi2Yrr0IkrFlDOlg0CcO+x
KLpJ9Qm92SKAAk+kVHdQerJ6YRNrNpdK8AqbraXK4lNcg4UyyIm+TQHBMALWUf0t
3x7NI0bLxB4aj97oZHPk9eQEXOZ0QPuJYD8YZv/j8dY5UZ+QuwxsKHRQMTzH4LnS
NHacqCKhFMdci84iemQaUku1qbi7L26AG+rFCwDWnucUU9NpjQuJz7FacNNj05MR
fsZBn+Dfqcu9gR36phtqzYWjqV3i2AvW9VytJ/h1dwvAskAM2IaoXWeHYLbBtYss
j21AR2VwelB+mK9rU4/LRRgRC6Ny/CBXw83axsVyXnsZ34MGslPG00DvthKeOF9x
OFqw8lpcf9r9N0qnXON2jSmgDbcaJKLArQ/LTh37cEDn0DvEMHBNb0Ygy9H11Wmx
fnVr4v+mMIoEDi0iFW7GAeRSXPzqcQWWCJ8y1hfaFISXgp5nkJJVfooAJorkLplg
hCgtXhnngwBZ07cNp6HzgK8gE/clUZBsv0caPCHald7yEDt36aY=
=+Tt2
-----END PGP SIGNATURE-----