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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240923-2build3
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
 f5a3031078ef566ea6794b567fbadf040beb31d0 2456 coq-unimath_20240923-2build3.debian.tar.xz
Checksums-Sha256:
 db39e7f49c539509caeadf9b6486be8c10f3afb32b6858003abadc7b24aba3f0 3609745 coq-unimath_20240923.orig.tar.gz
 6da9f53209a6e1ff1f4360d45732b8c3b178ed31c703cbf6577509ab489cf3f8 2456 coq-unimath_20240923-2build3.debian.tar.xz
Files:
 38ac9e25497c1061b099ece8ee5f141d 3609745 coq-unimath_20240923.orig.tar.gz
 8aca3513037c42bc7cce2e09b75caa64 2456 coq-unimath_20240923-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAme058QACgkQLIPbyOm9
Djcd4BAAo20w1SOXlRb6WDDrozDQJSonQ+1NQbCgKura+tx3Usc7vi4Y3gBr9rCy
XJF+JHuwbC6NDHZ9h27Sts2zrYzcTZs4evPnPWOYoq/r+YDZbzXrvF2saBgxRlis
a7g9eSISFliJQ38V9TxIxHob0Wz6d22FkeJGxynUSpYBv1AAM/03+wa5PXPL1gK5
Q56223abGi/3aGLQQMj7baAPyHIS8ai4k1F7P0MSsyQDhPeaTRd51P7vWa69HFTQ
ZDax8h6o72MNr4z/IVBkK3QyaNsdnlOWCWq6CgoPi+nk43Y2yPZNlMJHuzy0zkKH
Ou6LzPWdV1X/np40GY1YzLzTKdwBeaw4Doapn86DRqslmzoGPH+NRTRBz4Z6wViq
hR1l3oYvFKHwt48yBdbEN+0eREGmToW/+CW1wkJIXspzhdFG/FxH9ZnBPqSrUxs8
lc6jKxONkTwt1j59V81gRrlrwpBbC+F3vy/R70J1z35/9CpMXzIdnkgtdUGiL7S+
BnhkDncKJSKxNRRhwozpyegU3GQFE6bqgc/TsmcDFucEwa4T7x6yaFNIP8bge3P2
GtkS6H/MZt2VPoHryjowf3iCzw/rbPkjuPIQ/V6eqzonss00vP3zTtjizWByduBC
hI9bdbFN+UnfJpQtFPDEm2Ah+jTzz5bpErDQmAANFRhI7MgqnvU=
=/3XB
-----END PGP SIGNATURE-----