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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20230420-2
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
 492ad08679f16d33d092315ac79612c10dd8d667 1860 coq-unimath_20230420-2.debian.tar.xz
Checksums-Sha256:
 62d23e9be4208e6ff1eab4d5d762ac6a9e7cdaaeeaea165b5aa8f79a569f0b50 2601704 coq-unimath_20230420.orig.tar.gz
 b33f7bfab26889bfa295eaa89f6dafc64a65743443a605af608bbfe083ae672b 1860 coq-unimath_20230420-2.debian.tar.xz
Files:
 792a9689ce36bff58fb6aa58c4f7eb6b 2601704 coq-unimath_20230420.orig.tar.gz
 82f5bcc6fca41a105d57d540d3145d59 1860 coq-unimath_20230420-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSNt8ASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRKvAP/i9wVnOk0Bijxag6UkzmlS08C9Eo4NzM
6444Inyu7XOWLEIupEiIr2hpPOYHz201lblzdd6l0BL94dfhRCBwJl/o++cezcn1
u57YTMrPfbfjGqbeS5kow4s6jU3IBSWbaNWeHCnaykkGIdITgMMIHrhk2PfrAdIv
aTxoajZS/amFTQGk57HFvADrdOcg1PV/caVcimllxbwex0VQhhcUtSXg5ok9Rm/v
fy6PEf7WoMzoBBjOhRIsv04udUPR5P9M6NpixP2bkDkDzIiT206wCZyREDvW1Sx/
v+Bl1X5qPDT1d/Ui/YFdI9WoIdK/i7ciRYc9DYq1Ybr6cmjWSEjWFcC4xEeOSpmz
b3RsNPgXaeCrITxiQ1sURg8mXOaRqhgDWeVK6FksrhwoYhWH8LUX7ui24o3OPW6q
B03mZDeCZuIOzOLGkDe7aIM8YVZsDxgpsZuxjUffQrShsa7QYmLZWaC4dyJj5FqE
AZgY/V6065wGMUGmSUWamij302PNoSKZP1ueqSSlbVvM2yTDNYl1BNEOJrO5MLUR
18mS9HcJiEVpigfB8jCCWqAWR8+zfh3Eu6tCfcLswN2GL6VbzxKgbJBDYcXhA8L+
YRN5gxN61gb4dUDstGdoNtn1g/cztyHtpLRpYDPYT8tX08q6GoJdA8KRzjxEM+Tw
8C+c/d1p759p
=NHGS
-----END PGP SIGNATURE-----