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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20260603-2build2
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
 85eef2be71144713b02b191ba1bf79487735d1f2 2516 coq-unimath_20260603-2build2.debian.tar.xz
Checksums-Sha256:
 e83c9539f7586c2fd0c103d104449eddf14ead5d956d995660a9b76d007f2053 4201408 coq-unimath_20260603.orig.tar.gz
 fb4c1bb6e7964f170e7a1605f55a64e2b13f963921793628e0b98f85cd23d711 2516 coq-unimath_20260603-2build2.debian.tar.xz
Files:
 c400d964180fb1e2d358bc84a9898974 4201408 coq-unimath_20260603.orig.tar.gz
 7ddad2056df5f27f5b246c86c382631a 2516 coq-unimath_20260603-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqT0ScACgkQ808JdE6f
Xdlxpw/8DJz//NQjm38OBKCDx0tIC6oVPUATMWpDFC7ryqYjFbTAjAVJd+ae4VEb
2qhFNJyhYjneo6HCCniVglJG07RNj+fc8LzkyZM2gIdoWeNriDzrsXDMCm3bu8QJ
q7XWw/zDt+3nrPwVHIy8ReKRIUR0SnDIlDOaRFHGZO1wGURlSbqAhYs8tBDJdxIh
S54lKDwmbVGTNet6/8GozSs57f1eQxogwJqBBQCvxxF1iNehqgITA+vvMToeAJyv
GnFmP6BQaZ8inEB/8Axf0Nzn5iZD2WkCTcmzThFp5mHMCaecAxRvbtsTUQDqWEVQ
tEpar5q/dOk2z2UVu+IhnLR+/kXbJFyE+8uHiGOxypMycjcJ8RkEWJG2vR85qPy1
J8zr2gYqGTeNrCKZClPfHVOt391BwKFOCKpz0xxS5af/dyPcsiteE4FPH4rOjZYF
8YCbN3fsEJUIAjVJ55pSfaYNdJUHoKy82bm5J1ZUNj+oYzO6EchKeucAvVESz51q
/ZMMyPXU8wGL2BIGg2au1GIDRVlD1csDTWMp1SbCWowaw7nyBI0C2vcIkulK79p3
nhdDBXibKqPdF3mSJTKk8zMtc8jBki2vgYeFlHESo5LIXYiLuoSGOSv1lGhZ4V0M
3MKgVdJLidK9mQxPf6g/S/p7vYR5vr0abVFgndave5n7u3jf1j8=
=8UKO
-----END PGP SIGNATURE-----