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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20230420-4
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:
 b559c26193e64961f2d3f9856cb744e90ae1a352 2601704 coq-unimath_20230420.orig.tar.gz
 7d3ae1d0a821fcb35cba5e0306604821cb9f227e 3320 coq-unimath_20230420-4.debian.tar.xz
Checksums-Sha256:
 62d23e9be4208e6ff1eab4d5d762ac6a9e7cdaaeeaea165b5aa8f79a569f0b50 2601704 coq-unimath_20230420.orig.tar.gz
 3a6ef20008cfd1bc21edad05c5f6a98b5fed6986d34a53f578f4f66b479adc9b 3320 coq-unimath_20230420-4.debian.tar.xz
Files:
 792a9689ce36bff58fb6aa58c4f7eb6b 2601704 coq-unimath_20230420.orig.tar.gz
 95e06c86a8f65caa96818d052fcf2fe1 3320 coq-unimath_20230420-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmST3rsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRIZ0P/3wQ2c3F13MDGjK61YLPpk2uuCurZEwc
AiFONkz50RbLfl5VbnPKNsTtwDnU7HHujj+r1CN2x2Xf7zn2fWz97ym8SyBB5MT5
F1KoLfOD4bvwMtk/56MGgaI/JWZsVjZoOPrGZogDEU4DahMrr25X/R1xlrORAqZM
YxLWVv3nEwZJxWVSbzGiG9Mxp6vu2phk5Ue+uwrwe5JlY2Gkyhul9ph7lRErMNTy
HSRGssTBPpoYf/3rq+WzSps1cOkdluTlwxBw6DXbaHTcyEEA3vnKHEB+9HU42GyQ
RnXiSttyOPMjSpph/tlg5OtdMzGoJqKJgK8VE8hcL5RdDkRgf/BxnM9LCxmtaNY/
Ttn/VlTXRswrIuWsHIqZPXVdEnxPI78utAWjXoYb73c/Qr6J2nAo5ur6gB74gSJN
Au/MWaYy76ETN0z/DSoQ5jv5e/RtlQrVlrZ2D1dBcElGmIBSZ2x3KcB2tcAK4ILN
R3BYjLqg3IDqQ8oFyiUdIik6Z2dCe1fT8QWaqWiR5TOo99miQ5FGoJP+0grkoEXH
cvw26zOJpwM7OSuNIKtd6rlvpBYVglnRp0QitTsdsWsGEbw0TFjrU+BBcrYg0fya
27HsV2alF5mLYuDJAfM4UKjA3VPl4az7q4iH1Byap3oru5yHiAXNUp2FYgna37T8
JDiazEyLnQHs
=qeLp
-----END PGP SIGNATURE-----