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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20250923-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.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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unimath deb ocaml optional arch=any
Checksums-Sha1:
 88ac77f63f8a6469d9da28237e0f5af14971a2c4 4006350 coq-unimath_20250923.orig.tar.gz
 b9a5e4dafb638128de9799a925d39703a1c5b53b 2400 coq-unimath_20250923-2.debian.tar.xz
Checksums-Sha256:
 afcf4bbc94cdd33ac59c12ef3201af4cef333b36d30769c8f6e5d9c13783c82e 4006350 coq-unimath_20250923.orig.tar.gz
 7a41e78c9537be5c85f292ae1276e7a9a67f22c1864400b5bc720826428b5342 2400 coq-unimath_20250923-2.debian.tar.xz
Files:
 396c95d924f07009650bb0e93273cfbc 4006350 coq-unimath_20250923.orig.tar.gz
 3ad96c9a36b562c3a72370e258c4b18f 2400 coq-unimath_20250923-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTfQ4ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfhrD/wKjWRMDz0oAit7nfHvfT/Y
7/5mv4MeqNCpvpIhSmsFB3m6EZccTOKCAYrMqnRGn0ReuUXf0cxF++31NteBJTMJ
C6MtMxaBcp4fUgcUZwTDrA+o4vdn9Sy8vjah1ckjzO+99r4mqriVjoAaEEPY4dKM
rmSh9CqIrTrhZJfx+nfP1gZqCk0ob0+mxKo2AyRs9LObHqsLwvNM75QtQ3llDELe
7C47G9EQ5fzbKw0yh9EIJPBfmieV8xsnKg+CaVULupnAd+xJQ8yw6ZXwIR9mt7Cj
xobKXN+xshUIPrOGURNxa5mC+qHUz4Qo4dWT95Ah+zVQOXLf4FcmmsLIDHSLSPcA
hbXxGsXNrZ7R+qfhE2D3HGqc9SjCFoPfCmVqw4awiYTBf3HJsWYkT2w2l4QVN40x
tJs26s00hzyO/Kccd22btW0Nz86Rg1rMfmcwU47qbnA+DrlmSVpLmZz4taGAJonh
/dh6Q+LA5ACSV+iLla99miUC13zJnZsGjQ0l4CmOYyE0wOyXI1MmCUc5OWBdpFw4
Uqf9UrsmDaBp+QFv3zTRr6YceMSTxC1q8W29wSb5zVgFboNsMFgqbF0HyN7350xD
eEGdyLqj0nFhm3UZF0Mg3pje/NV3qKdlelutSCukclcm4tM8cjWlLacKPuhIRwVg
H6X6vyQlN36ttOr6f5Dznw==
=rUmb
-----END PGP SIGNATURE-----