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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20240331-2build1
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:
 10c7f870e46e293b3e96e88bce1433c54597d6a7 3324158 coq-unimath_20240331.orig.tar.gz
 1b754a9eccfdd32e9c362b46eda6c037de052d43 2296 coq-unimath_20240331-2build1.debian.tar.xz
Checksums-Sha256:
 613e5a9e1fc502269b4744209827b853505999ab28e59e60ba55e6fb6daa0c0d 3324158 coq-unimath_20240331.orig.tar.gz
 3d8c0d20df12c6577f49a6018bdf547b5e1ff25025cc687dec73038596e5cfb6 2296 coq-unimath_20240331-2build1.debian.tar.xz
Files:
 64fd6c6c604f56ee3a6387aebb3d2981 3324158 coq-unimath_20240331.orig.tar.gz
 5822a4e05289dba446527f1fbbe1f153 2296 coq-unimath_20240331-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma6/3YACgkQ808JdE6f
XdkY3g/+NOhWb3Bl7xlHMXOItwZFJ4NKvizVA2CkCNe6iLgXsj60C3UJqxm3YpDQ
ESOTQTQ+sbhSyPrZHmxGPflcfyaD6MLFiLf3zNrVjk+dAiobzXZTZicCwGNjC3Pl
SfZxegQ2CSJZkhmiVPLT8UxBJ3jklmzDOJmtGMm58rxMyRYAk1fBd320JL/aSf9j
HfxVbEosm+69YRcZT90p6ftrB7pqBpOQSmsQd5dxzTRL6IMBnodp/b8cvmDDX41Z
MFh5+cYYqHj7qkPmNB0pxepOgzjueCizumeEwgRB1XmTS9o5hxpClOxeO1Ds32UM
aLPeFbdEbeELq40eJlMcHE885xARXPUgjQ499TdttCMrT8viReEi2aa12us51ESW
k8cLpXJ+d9OXD4nBmhepnsWRHG1JiAj5bFtZ7MgFN1VNOhNXCYb4axhge5qRozzn
eSR6gubBAIyT1B5eGr/pyO7RZ2EaZ8TkMErDrlaPUi0AxqSCrYcTtzmaMm39BGai
HSV+TuUenJTZXkTASdJqkZpnsg5vycusvwT2sQGc48LVwacwdm3nl+6OOmUr4FMZ
IzHpRUDx2xjof6QcVDG6zXLmPYKkldbfKDz1oTJKIg7Ivv64M57d1Q+eSRCzf8cA
b+3dAkBADsVmQ5m/2RXIjlcxKIbPnrRKbkzgqas7QiTUeoHVMCc=
=iWZh
-----END PGP SIGNATURE-----