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

Format: 3.0 (quilt)
Source: coq-unimath
Binary: libcoq-unimath
Architecture: any
Version: 20220816-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.1
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:
 db44a40019c97b9eb9752006d1c8d7e2ba0bc948 1986848 coq-unimath_20220816.orig.tar.gz
 49e5c58407bfc5d7f996788d33b212a7852952cc 1776 coq-unimath_20220816-2.debian.tar.xz
Checksums-Sha256:
 c03a648f95570b7e3726507b6e01e642e2287bfd5ef061aa92c83693043a7920 1986848 coq-unimath_20220816.orig.tar.gz
 9325da648eba838108aca9aebfd881a2fc40c18b5b554fb42a4d27053c9b58e1 1776 coq-unimath_20220816-2.debian.tar.xz
Files:
 8477650af351ef4c383c7c6e2e214def 1986848 coq-unimath_20220816.orig.tar.gz
 da16caedb5f9c762248c2598dda58960 1776 coq-unimath_20220816-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRFrASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR3Z0P/29idNGKyW7CO9QUBlckkrJD6TW56H66
bVPqE/mZ8qyJzoD4wG4E64TbW7bmZuRF8aw6BXma+HOZRrz7cPnZDkkk+MYxcS7Q
NQDNhmyjI2eNLOuA6T++ygOGcux5xFSrBKORppQoA0+JShzEwLJMp7TACjJ8kg4v
1MIUhnnklSWBNdrI4+VV/MlOD5+c4yVwD77TwBT2gdKiNqsTGWQjqZeNVv/Drmwm
5ImvDxfqlPEgtvw8Faf/lRxjlP0s4BpLZzotg0T/DGUMU4EF/4ZxUzzwh4TLyPY4
LsA9hWlahUrRrpEbOA4qqtIBxhJJxITFfbjphVSNXXJNdWCVbFq87gZHbhcOynvq
IspN/keYOI2JZTKkMhtLRg+huVhSHAqDgC/thnUtrrECGgfHwLe3BL4Qqz16faFo
tSvBEC7S6PaJ+SN8naVnAtacS+MQNkgcYIzWzwOwLiuNpa7UW1rPOzBLAb+z5R03
XWOsGTEv+dpnKNIn5Z+9SZYVH2lR6yodsfIr3lf6ch7L3cXBPQAbxGTTDC24qnLU
/XYKBAYw3DEmbuSvxTFCkNladPM36i6XjcrkQ4WvRiIwKFZCVT7hKAkhDUrSr4i/
1lBkzgSPFKJKm2OJYS6j9tf1241wtVyMu0slK5yoqA7KSTkYPKfsOu4DRFuul336
vLvIjFAABZaP
=895/
-----END PGP SIGNATURE-----