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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20230420-4build1
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
 692b84dc14030a67e1a8dc578a1b7e8b61f74f46 3384 coq-unimath_20230420-4build1.debian.tar.xz
Checksums-Sha256:
 62d23e9be4208e6ff1eab4d5d762ac6a9e7cdaaeeaea165b5aa8f79a569f0b50 2601704 coq-unimath_20230420.orig.tar.gz
 03afcbc9676399d1d20b9899d4105317dd4cd3f53a7fba82d0ad250948b0d144 3384 coq-unimath_20230420-4build1.debian.tar.xz
Files:
 792a9689ce36bff58fb6aa58c4f7eb6b 2601704 coq-unimath_20230420.orig.tar.gz
 a54401a09d6c6c3fa78408ff6cbd4995 3384 coq-unimath_20230420-4build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAqysACgkQ808JdE6f
Xdnncg//TkKuy6rTvpa5ohRBV/k6TNVbTawcvsVq4ooKbt+1T9IlK9h+DSe0pEYc
HLHnHDrEIKLwpeFAHMiReXwhNlsoh6s8CbTgCuvvKyS4GUQZtWnKt11zKUZat8d7
YrI9nKNUOBWcTt1JAWKDyAI++194Wv1kugX+wkeC4yVaEs/bOVvlYBpze3lZzWo5
GMXaHg3HPSUoAs3jf3qj+LB//lLiGJVOHibP/cSVNCBEBgAIO/h2lltMb2Xi+YVX
gWrtMysFpgJc6j1OhcQGl0IFzAK10CjAi5L87WM37P46y+krxH3HGfmfI1Dq2/ik
vIVKKeyaLto8HimnyRWRyDqPM4gssxZVEmHkjtCPMcEfKiX3c3UH6VfASSa6YrT2
qsAzVw6Or8iaAhV+u0SUMMhsqB6jAuy010mZYlPVczerbJ232ZO9myMdikmlFrR6
nH77/fu38dSk5u7H6a6RK/Gh0RUwnF9Gfdfj5AOwRb/3FqvVPW0p2jaJtq2r47hj
xwUuHPS/xkSrbuhg58f2wjW++fsQO06OBteJp28XQc4XcYjgypruD5aBo0z+8zbB
ffTHMpSr71d+E0kjJY2G5iCUAHWCl7WA0yF1zBG3aql/gnAWwitsv2QIL85iA03E
RyPjk/VXAa08JwG/Lxk7vruwk9ZpSN2la77YCdYtB13oZJ5xsJ0=
=A7Ak
-----END PGP SIGNATURE-----