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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20230420-1
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, 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
 da3d1f1bc5ff888e68997229785f1b1c2f9ba46f 1816 coq-unimath_20230420-1.debian.tar.xz
Checksums-Sha256:
 62d23e9be4208e6ff1eab4d5d762ac6a9e7cdaaeeaea165b5aa8f79a569f0b50 2601704 coq-unimath_20230420.orig.tar.gz
 92c202aa2af8d23740d3f4dd73164ccf2d81280fc5855f76ac622c6f3c53f584 1816 coq-unimath_20230420-1.debian.tar.xz
Files:
 792a9689ce36bff58fb6aa58c4f7eb6b 2601704 coq-unimath_20230420.orig.tar.gz
 8bef7a61755c9d33114ae92bda82b447 1816 coq-unimath_20230420-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVxwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSQIP/3gzfa6+syuTMDg5jd4c2jdMEivo+trn
5hpA8EGvH9Y1vWMuCetfx7wTXRtpABX4vUYATZQt/2RrbCtPqRum59R3BKT6jw7M
qiuLGu8pAO6oV2elm1OG/tHtski95bGE2xGg5cEUvVFW5v5hZOz481mlOZ8y3C/0
5KeDzl69quo79IR7XRRRVjfMILFrzrq104dWn5P3kE/O/kWS3WAPIqVvD7mGJpoh
J8H0luRGnu204LlYqC0jjuMs/M7gk+hKvYohR4xCbgd/eyEMbK3x0b7E43FmQDJR
xo0DW+koVLCfB72gixqle6Y/Jn/0AAlM/Dno28NmiXJctNXqJU8S89grRhUH/mF+
uJgIQnWhVbO0Z7+DWm/FCsrZL+S/msqNvEKFcFHL4U0i+vSCs9HqYQFJVT6dL3up
BY5TWGVVVOo/Lm2ojyy0T4eD4PnQbmEMwJOB5MhqLxXRleRqageZ7ta2L3/jLLL8
q6O8M+/NhWa3LvvjZnAe4/jjlMngPYt999CeL43jSuCG5b6iFs9Oy4nmxIWhyfk8
Ihv4gD32BuXpOeIdoVdMcnSoVczswy/uinWCF/yulBf4wm90NiszytFt3eV0xsVQ
oIKSLl648XAwy/dtlQZlTvIZCeSC+naicOVFu351zkAAis6oNdyWgUQ7BRRwQEmz
N5QWml4PO+oa
=hS6m
-----END PGP SIGNATURE-----