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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder, coq-hierarchy-builder
Architecture: any
Version: 1.2.1-11
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/hierarchy-builder
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-hierarchy-builder
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-hierarchy-builder.git
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-elpi-ocaml-dev, wdiff
Package-List:
 coq-hierarchy-builder deb ocaml optional arch=any
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 045f0a087b3ca5de100a546056e9ec14faf3b09c 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 8704b1ab2c2cacf7f9e7f8a0c86de8a863e3df35 3760 coq-hierarchy-builder_1.2.1-11.debian.tar.xz
Checksums-Sha256:
 a515d4fea55c30a6346877edfa6f23447a19c6875feb889ec21bed062c004060 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 39ab6d80a629c7d521730c2c38d309bcc15fed4975b1e60147517d9d005e1d56 3760 coq-hierarchy-builder_1.2.1-11.debian.tar.xz
Files:
 d58be118c53633852c814eb042f67129 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 a08a6d743aeeb04af0d6a0468a9c6a4a 3760 coq-hierarchy-builder_1.2.1-11.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmx6ISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR8XkP/2VqI5hpxu78twECjvc5TJcqVPvNqYQo
7uos6cE0znKfSnRHSdDJaXhQevTGl7hYgFIhfl34kDLvfVUNgZoszspRPAVZT0y7
VC+0SqxfdB5tN8KDUaT8yahVIf/1+FFpc/wSHAoqj1Z+M8cwSnE4yfLvn+0doLY/
/msUkdY5yiiEE8M7upnUKrKeDSlLChEcBIanL0riNqOyY8DAu4SVwvtbcdLe0FQW
uI9O5MK0HvGE55fPnqstPaQrGSHyaItYg2SCmy7XsT4OhrhP8ln0rVfVs3Iq9wsL
U+zPlFeJvILrru+cgmD0UC47Jaceb2K1u9zOehIRGMDFEsa0xivBNsUDPWxPIGeJ
0CTCtEwQcqZYaKFMqaYLNN+1kMQnOHuD6Kti4Y2NsvlQxg51WSpsX5ujY0kw42mV
yrvDyA+IKq6zX6j2J6NvopEd+ody/zDI2H3CCfagLTBr145WBI92k6hNFDLuXIdi
CU6eqewU0g8f7hDMb1D5V6a3nHv6O8f5wRlITRGJYiNI1ImiSPwBaMKvLYDkD7LW
Z9ZDClP31JNNQl7HTHZbQRKwreWWmwGZzgeOITxKWJIuxf3QUJG1JLupEj6rr9Xc
uliJ7f23sNiA+dHr05OpifoudrnOTmdF+yTQ4mzZF0oSFR0974O8od7rNT3aj8Il
O47Gj+uneAsD
=VrlZ
-----END PGP SIGNATURE-----