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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240331-1
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
 5ad9d0d2ca05e950b3e0fb41e66b5cf5c4b72df4 2116 coq-unimath_20240331-1.debian.tar.xz
Checksums-Sha256:
 613e5a9e1fc502269b4744209827b853505999ab28e59e60ba55e6fb6daa0c0d 3324158 coq-unimath_20240331.orig.tar.gz
 ba4c34e19475eea7a62ea76ff776e5b1b0bbfa5a242160f53441d5109aed9fa0 2116 coq-unimath_20240331-1.debian.tar.xz
Files:
 64fd6c6c604f56ee3a6387aebb3d2981 3324158 coq-unimath_20240331.orig.tar.gz
 e93e9f6020b3f172d88ab15686f19a2b 2116 coq-unimath_20240331-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYWQAASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSZcP/2+hQ7qg9zYplzU2UJaHtdLkyLuXQbNj
8L30gKzBAKi0qVh/uZJ0IinSUNILgzRkKPiSHiRNJMwgOch1goxA8K/+0q9VN1kR
B34V33VzhkHqUweCI8jVuqsxZmQzQS9OKzhW3aoY5chFwn2R1GNOpvRWu1kByXuy
w3ZUda7tldWBbgog/4NwlY64A5i2ubZee3Ypk11BeFIL0FFgSP6Ll/InKH19Wkgb
yPJ0oJaAv8E4Nn0mQkrwHFpieMWPCfgX2qRFBsaaHCoTiUId97D2JQKLYh7UucU0
ZL/rDgojkBYM80LBxK5ZCCWCoWQ0DEW+p6kCqpb20baPoXWMzgAwudv0cQBJwV7N
HS6jLh33WXV6lN0Ty4RY3N+BPPAS+SLaRpk655iHP4X+g7dKIRopd3uNbCU0Xaj1
ZwP5MXvS6R5zncLIbLB41v+TIsfqEihkGwDGZLzLUngSWJiQghNvmrYCJVfgS1rs
206/FIhJtSVzt6O54+0h9/jMfTMJyu4juOaUjOISmcqQfO/KijP/R7sIJeFrM63Z
6KiJLXoY1GCN3aH/SrcrHUQxNgP1sIZhCO/1LeyKzKUEkm2AV26IZowp5iQlpEOz
nrYTZVBnkfs/4iHbdTGPTMnBaDquhywzkvJmR5pxSZ+t2/pOKZzF0R1deiTKYrVk
oql8l/3/ryu2
=TxvB
-----END PGP SIGNATURE-----