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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20260603-2build3
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.4
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:
 633a5821c0e84916c0b0fde1b69bc5f6849a297f 4201408 coq-unimath_20260603.orig.tar.gz
 7df2f18d947f05a1ce12a39a073e965472a2332a 2524 coq-unimath_20260603-2build3.debian.tar.xz
Checksums-Sha256:
 e83c9539f7586c2fd0c103d104449eddf14ead5d956d995660a9b76d007f2053 4201408 coq-unimath_20260603.orig.tar.gz
 80af547c8063c7c94de964d8a66fd647872dbfa5bbc6a45877d4c67cd2b63674 2524 coq-unimath_20260603-2build3.debian.tar.xz
Files:
 c400d964180fb1e2d358bc84a9898974 4201408 coq-unimath_20260603.orig.tar.gz
 d16a919b0dff99894f6de8a2d2a8733a 2524 coq-unimath_20260603-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiVYkACgkQ808JdE6f
XdkjKBAAv1DJQdF4ylbOmYP5gZseifskdpOtA44DMUdlRAImWdwKqQjwFbSNaJa3
bTvRz8nLKqDFJSUklHFslLtiD9vxdRTA7txYe0KXkPevxUOvBFL6pYHqQQOKh+ah
amAbNDcHrIH8+K+kJ6ReE7vn4FojtHmko8Dgg/yHfq82ZFudUaoW72MpQp0RWD3z
UYE4pV4khqFA+tAOaAQdLvCe22xwc4l5jUcNqU2l+my010uqtwEp2H9CtDWS/f31
4k9gKrLOxk653M5Hc+pSplmZkQu+SXSURqYSn8O2urM9rPmvT6XUbFxJztXreGLF
kdjRIP7Xrz8Nh3DcFimWZjM4tY9f8OTNydwZwk9RiNlmvtZASzKp+mMwpQgrwRIm
XX2xKSC/gjZoRecaIvPjBEtoT506i8H9qqZKcZP94lb6E+7R7SulNTKhUNfFkRpp
PesZUy7DSPKNaw5xVgjvNyjjnLtr3UzuWhpCENOhGGA3sl/1hKKgU+jfPeHfqrXG
Q2cQAKR/TZpkBeLilwedsHHHPdy1JG4hgX5qqorLlMDN2txvfHPuum2kx3DlAfqu
eYStMfyX8+exm450qtUtNCCc+ghiIy9NeHQnQZT/khfT5JjtBA8L9WQAfKb2fv4U
nURNdAY3ZVSSIoXMmmuxlrIqWkVH3OP/SH2c0Clv4tFgoGDjeO4=
=Di2J
-----END PGP SIGNATURE-----