-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240331-1build1
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.6.2
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:
 10c7f870e46e293b3e96e88bce1433c54597d6a7 3324158 coq-unimath_20240331.orig.tar.gz
 0aa45ff091c6afc77fe0d0cebccf512e30928e04 2188 coq-unimath_20240331-1build1.debian.tar.xz
Checksums-Sha256:
 613e5a9e1fc502269b4744209827b853505999ab28e59e60ba55e6fb6daa0c0d 3324158 coq-unimath_20240331.orig.tar.gz
 b0f80a4e0058718ffeefa0d541f4ddd6edf579283dcf745ed1f304a6610b9ec2 2188 coq-unimath_20240331-1build1.debian.tar.xz
Files:
 64fd6c6c604f56ee3a6387aebb3d2981 3324158 coq-unimath_20240331.orig.tar.gz
 7382f0d34cc96f4fcd18993e4ed55179 2188 coq-unimath_20240331-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz80AACgkQ808JdE6f
XdksFBAA2P3MAZooNrwyKnrQW8/woQKWTwYrzvs5vo+jxE3X/bFWBIRHwm8dR8xN
Quyh8ct83YxHA4YfTg2T1wNXd/CYDVlqc8GCcwE2plHpfgQt25J3xSM47T/JEQFY
iz9gzpx1LEizs8/B/Z0F7ZXCMowMmEX2YTMAl0agKhqLXdjpQSxL4m494GXzKEwK
+vgq1FCPn3+uPf8w+NKFVVuM4tIY/tYt1Tmwh8ydUaXlCK65/0pB+NZxaUx/X7JE
IsCKWNHpa+IfPk5V6fLPIpyu1m8/gUiiF+YfeKipuD2lxslS4dVF5oBOxPkdqB/F
c8k5sHW00sY3GPJ58Oj0VpYGQlPMUsbY8lPCcmpvAKvdcLFqVIKhuH00q3wPmtcU
JCQJWSpJET4WmqgrAXOorqNmLa9BIlp8AR88vVribzPJyPolGbLD/MtmCaNpqpPa
xhiPQ6hfKl9D5ATtdoZhW6tUp1WG6eqa+d1LduJXC5NYbogfYtQHGCb/wXU7NvPs
TkrGFI9hWlL4wrxiRE7cXfvu/yZ3qJ8VqwcolW3cmrpmSrmrqC8NzR+z95vb1mp5
i+syt+3bAQAej5L6FtH6pkJgiBNldWZsemGra8yGdaNawaoek03d39Yq9Tp8wP53
0vI5rZ5iPpv1r0s1bCU5DoQ59Z7qVpjS3v4ct2EARtGqLnBpWb8=
=Q5VH
-----END PGP SIGNATURE-----