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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240923-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.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
 e7e37d129e35b9745330c30075fbc5da58b011bf 2284 coq-unimath_20240923-2.debian.tar.xz
Checksums-Sha256:
 db39e7f49c539509caeadf9b6486be8c10f3afb32b6858003abadc7b24aba3f0 3609745 coq-unimath_20240923.orig.tar.gz
 865bb2f99acfaf024ef4fe13b8aee67828e8ef4a372f6138248dcb21e90d6178 2284 coq-unimath_20240923-2.debian.tar.xz
Files:
 38ac9e25497c1061b099ece8ee5f141d 3609745 coq-unimath_20240923.orig.tar.gz
 7108f45b0dbed95aae40a884f0792519 2284 coq-unimath_20240923-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdERWESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRcxoP/13AsnklNPmeONJKcaXLDlvlNQHxnyUO
HOY8Zn7U46pt/KE7fF/XJdcIA7lNc/3nIVUKO8lrTkM3P86NOf4gAJY8ms7Vbrmr
270ThDgy3ZMu+ZstBc7JV8VyN3sESe/Z5dVWqLX+Uy4TZ+xXh6SLmXigRuxtYTDL
06P7uoeWSZe1xnXQ3azCdseMIzarZ7gyPjloQ5H2iWZN0SJE6WJHbm+Hn0qTnqJ7
pzqhIdpxN9IzGsQyUYiIOC/4veznQaWZvmaFWUSa6GcrQozfKcxxabkWZvfs7O0t
Ua8xR+GD4TNZMl0JLkxln27YlY/lU1GfbJ8BBE6inBi6DmATdHtlLEgspkE3EJIW
YDO+BoMeaSuPyxSJMDy4uPWyb8CdpUKv8HHq62ze1Po7f5Hrg8ErlgcJKCX8j+qB
OpK04Jof4+7eCLXfyxvcICfgdmt5YW2pDcZddfrMVmnor2OCJT1rHboTbXNo8n8g
+jcVNsw4HIeFAC+JJ0pBSQfkwaAftO9g5s1MsrA5tu26v3TtCsiBsbmmIKxAVyHV
xIKxo+7h40yqLlMTVCGqQGulz2fCj+yePsBZxOaSeaHuaax7lIiJg+r5r3tw/SXy
MQuQz7v/HkgxftKZ7BaemU+i4IvhqZ9d8Fy7/Y7yPtYKNfD+oRy9RYm4DVcnH9Ci
0+WmTvKNgo/0
=XtHH
-----END PGP SIGNATURE-----