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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240923-2build5
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
 2ac0ac73cb157f9b0b87457ea0a9c44c12369bec 2508 coq-unimath_20240923-2build5.debian.tar.xz
Checksums-Sha256:
 db39e7f49c539509caeadf9b6486be8c10f3afb32b6858003abadc7b24aba3f0 3609745 coq-unimath_20240923.orig.tar.gz
 9cc9162a4ffc02a88543c6eef7b2d319bab53eb20b5d39fc91896cbe857bba0a 2508 coq-unimath_20240923-2build5.debian.tar.xz
Files:
 38ac9e25497c1061b099ece8ee5f141d 3609745 coq-unimath_20240923.orig.tar.gz
 6c92c2e1b6dc1553adec9336a21a3f16 2508 coq-unimath_20240923-2build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9eEACgkQ808JdE6f
Xdmo6RAAoVA5H5PwwHLXtDXGdJ2DLyGkQq8a03sIPFK0sGfWCAZddex8wUmoP5KD
QPztnGqSUne8dhi1RzNJjEaFOh5/t882m9yna9pg9QYlIV6pLlW6krpKec7eJS4N
l714PcKelFWQXzCWzs5G9tgPqjvMeDRAK0kf8UikPcfhiuUAVtUDIYn+/UvXAi5C
Ah+TFHgW0iZ5h5ltdQ/duKV3+kf4dIduZZrO6wqFImLVuG7IkV3BGD2iflphy6iy
BFs5TMT0lde/GoGx80w3VRvKQdZj91akMnao0G86qs1umlXYD/qcAvlTdadJpm/d
jVTCVMYqOZDArLIrt2lNFQMST+CTIAWVhFm82lcOJX/Lhm/7ZIzd0WF9ALBCoLu2
GccLnKBEHJMwOP8qvgUkbG4dkPH2Y5BB2oiz1tZNbaJY4WvxSYWZd8/LVSGW5F9T
r3pO86FH9lJzZkA9+w/58JzH71XivxYmqY9+L6/yjgpOwajASMwWYFLx7MIgeR5e
Lm4MixaDaTrYq4vR9246eGYUCAl9fR39zIszpbNzT8jQ70k6HKzZMb6I8fQCJYlf
VXgB5lIsJAcu1o4dK63/e/eoaLBdjgSfmSReK7ypXOIXEcAe6QQT8zGLYHrIibsM
UBYgdPjkHHFHX6FW5kSlueM9f61WsDPsKyZ9NWpoTmXUGtkAslM=
=cjBC
-----END PGP SIGNATURE-----