-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20231010-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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:
 cabad4e0221f097ebc3f667017bd7fa7242c4d81 2893033 coq-unimath_20231010.orig.tar.gz
 eee8a549852ecdea83d1134948f96df34fee014d 2296 coq-unimath_20231010-1build3.debian.tar.xz
Checksums-Sha256:
 c722471ead589f971a561cfc2f836d8e7139710797b15350edc867f9c037853b 2893033 coq-unimath_20231010.orig.tar.gz
 3e05d758233dbe7c3d136966d3970b2b629d818b12b2b9d6a5fc0a4c05d2e0e2 2296 coq-unimath_20231010-1build3.debian.tar.xz
Files:
 fa01c7733174c7ac4c161b610dd7f858 2893033 coq-unimath_20231010.orig.tar.gz
 cec5472a0845b29379699257c660d053 2296 coq-unimath_20231010-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmZoACgkQ808JdE6f
Xdml2w//YfdHR57XdZJ6xTHwdE4R/JIdMxoSuuBXTquTFKLKhbszruhErubdLier
jxN+V7Tv9L2r+/BlfVdacG0VPsgniZTS2VBiilE15OS1rb9eL+yc6p+DEhofFKn+
s1SF7rXRaqfQXreYWbjTk0BRZU45cIg0p6Vwws6k/7tsbZaVT5WsUOQR9/59CxhA
Kw+LLvD9TK7Ms51TvRf8qFIM3fFQiLRp+RsOAoz55iD4gS3JgCqjisWkpYP5yI7j
30dSkNzQuYOpUSiDdNvpKEMIWlmvgTSsl31Eqglvi/fpSSHjR/yH19cWNT26/WXy
jkGogtyX3zfTUz58SsF+AXDGmSgJpo1Ho2+WuojLP0YjQWY1hJwSFVnIJ95Wa+Fj
rjZRdLB39yp+7PO3Eqw6/hZMFaeatP2QumFe0/sb+foRq1bUbWrnKMUp7BteGZyh
UZP6nSwthF9u58v7gUAnfYbf8r8aDNKj8KxVgv2PdbiB1EB5m4PZ9fFUQErFCRcg
ie0KWgDtWBPZ/OzHsVK99YRBv3RgiDtU/0HhxwxVwdjnD853rxH6nHclS+iDhnew
gtmToZj+7QGt5nIUFUMlMO9VFPYG+PyfuaVaxqUrZL8VQH3sT1xTiYvJT6PGQ1D3
VWzsDpA9noeadWE5CaulJ5gwLCUa4ZnIW+0W626XZF2ubTchfxw=
=8/UD
-----END PGP SIGNATURE-----