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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: amd64 arm64 mips64el ppc64el s390x
Version: 20230420-3
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=amd64,arm64,mips64el,ppc64el,s390x
Checksums-Sha1:
 b559c26193e64961f2d3f9856cb744e90ae1a352 2601704 coq-unimath_20230420.orig.tar.gz
 d3f546c7057d4ac77cb2950c64489c15c8753e4c 1940 coq-unimath_20230420-3.debian.tar.xz
Checksums-Sha256:
 62d23e9be4208e6ff1eab4d5d762ac6a9e7cdaaeeaea165b5aa8f79a569f0b50 2601704 coq-unimath_20230420.orig.tar.gz
 7e9ebc987108dcf253384241fe5d02a5d11bcb928e3fa7a39c3a6811ea245db0 1940 coq-unimath_20230420-3.debian.tar.xz
Files:
 792a9689ce36bff58fb6aa58c4f7eb6b 2601704 coq-unimath_20230420.orig.tar.gz
 c7cb9c7231ecbeb3bcf98bafb9cb1d6a 1940 coq-unimath_20230420-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSRmewSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRyFYP/iQJU/xVsp3A2Hf83/dolcsRgDY4xacr
DVu7MkVBUfbbFMOyvnCR0Axb8iCGnTn7zZnjDjlykGapIvzHrbTzvjFAAGFHFu1a
CzLbXcM5m+tHSvU5nYO4xkuGR4WklzQ21THx8jSjIhQz4EqIEjzJBX6k9fbLzzBn
VuJvHwRelyM6IVUz5zVjf4trSEw8N/0AWOgGtJQb8IVigT3EEGlirOkT6InST6hO
sPD3ufgDPqhsMJI8XtjHTTTic2aOJPQIob6rLbR2NW0l7sey8aTsF31kU6kzc28b
no396pr963z2Eu0Qbj571c7OpeuPSexTHQJdJkl8I0FIB4xn4cMRXesFlP72Xcec
02w55LM6uLU3x6a2YjIX5hBSRl9L4wXEwJYxqryfytvnFr83i9i4x0RMQC7kXcEg
hIdmzDvUaYlxmwh10lkqTW+DQVDdgQ/Z1TYy+s+UUmWPpHvTKslZPhjQk8guqMJZ
sG0rcePTpkmbFjODyandZqIEx5YnyHWYTVcqIxxbkD+vTq1hK1XYHqC1B9fS0qRq
l7jX1O0F1YFI6MeHj6Kz2/XVwJ0Dw+TcriW5LegHQ0x6v7GLI8b2K2A4XIr9wn9L
iU+Gc6x7wDM93Yrk15UR6YH8iv5NRXfXhvna1gTtE7QS8aPWTomhS7NQF3o4WmEL
8lB/2MHAXXoj
=dcui
-----END PGP SIGNATURE-----