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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: amd64 arm64 mips64el ppc64el riscv64 s390x
Version: 20230420-3ubuntu1
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,riscv64,s390x
Checksums-Sha1:
 b559c26193e64961f2d3f9856cb744e90ae1a352 2601704 coq-unimath_20230420.orig.tar.gz
 0081cbb9991a8f79457ff54d743e0b2e7b7d0a7e 2000 coq-unimath_20230420-3ubuntu1.debian.tar.xz
Checksums-Sha256:
 62d23e9be4208e6ff1eab4d5d762ac6a9e7cdaaeeaea165b5aa8f79a569f0b50 2601704 coq-unimath_20230420.orig.tar.gz
 15d5438346750d23d37b6611329aaab6271aa93767f820b87915acd7058b8b77 2000 coq-unimath_20230420-3ubuntu1.debian.tar.xz
Files:
 792a9689ce36bff58fb6aa58c4f7eb6b 2601704 coq-unimath_20230420.orig.tar.gz
 c241d2232e5958d3a93425ae57997858 2000 coq-unimath_20230420-3ubuntu1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSTPIIACgkQ808JdE6f
XdllpBAAl+r0UxAbNJzzYFHNDrEHFZyJAJl1OAPY3HBVJtx7W8+O7Z5g5bLUGkh9
b2dELu9Rhz0vEjaH+mIkLt9BPHdmW5Oahqa2cYBdbFrUaIwVGR6fJmZ1+GwGDvNQ
ivpcmilx16+DjJvgWFcCbISK8JrF5HpvRSuVA7URFAb8we+yb+xk/q/21rLicCD+
e6krYwoNbGvyNH56MWCidFlxuPby/CerOcWN8a3fO6DaPhBhWhMwe7sRX8diSX39
fNKWf7EwDm6Ay4T3Ko/AN9z47PRmaFOClEOiWy6E+hRjH8ukDJwuH+u8TEk9Okzd
YQy9xOHo4S9drPcDICazjrlJlbtgq/yJXq08QZOD0TCpDgx1JTrQ2YmOgGBC3Ssw
Y5EZCZDOTceKAB9LCwnug4zcwE+zJmdn7LnZkjIEJG4HFKEs2+76gR2dDNvFEcqU
3cYkMXNMj94rVCDouaSnwINEZVCWxrW425Gy9wo2qOkoRGdRatsX01oxtezvqNuT
qitdHn/m5p4wAd9Vt7qDDZn5lHgVzaF7YR9Ot10CQMDV6g63wui/pDsKEGzV+Yet
J+iFeN63LIOh38JH+/teymOelnVAG6Dfd7iZLYwB+IHwaK2iKFKo56wcyfs8nBIs
EQqbuHR0uib5Ze4ArcEtEPK6iKvecy7Fc039JD+NwzVmxeCY1w4=
=Xflw
-----END PGP SIGNATURE-----