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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240331-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.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
 120f2ee0d21a67e81e5d91786953c46192e200a0 2224 coq-unimath_20240331-2.debian.tar.xz
Checksums-Sha256:
 613e5a9e1fc502269b4744209827b853505999ab28e59e60ba55e6fb6daa0c0d 3324158 coq-unimath_20240331.orig.tar.gz
 e36e649497643929873ecb57c3b4dee995a57f2b88a17f5e73b6b7dfa8733ac4 2224 coq-unimath_20240331-2.debian.tar.xz
Files:
 64fd6c6c604f56ee3a6387aebb3d2981 3324158 coq-unimath_20240331.orig.tar.gz
 49f01a018e7946777b05e075ac56fde8 2224 coq-unimath_20240331-2.debian.tar.xz
Dgit: a5e68d72c4339a66658ded9d74a825986ec2b197 debian archive/debian/20240331-2 https://git.dgit.debian.org/coq-unimath

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavBLYSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBkaoH/j/iWWV7zWzbMm3kJh2Evk7quXnUWhPe
4KI3VYb6QjJ7QuTdMx6iu+Hyj8llh3WslOZUfQyZusKb5Fd8IYlTSEQ8A3N3DVBZ
Gi+p6tHRY/oFQXjR2OFuRp9GEYL9l0M3o+uymnrV5NROmImNVd6AhCnvIqPgxygr
fHh8AeBPhdB/usAlUg0ZcrsFeeWVIxjPC3nOuAL+2Ef27PrqlYdwH47GPYbKbbOn
3VASAmjbQ+zXb/Yv5JtvUP673pjwvvuNtk1adq9PqVUfdI/yEF6+vNJ5KMqz0TPa
PacoGrZsJyxyG92xKUkeeGCEXLZrMb8vRDvu2tWAm+wuWpNSAbi55nk=
=D223
-----END PGP SIGNATURE-----