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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libhierarchy-builder-coq, coq-hierarchy-builder
Architecture: any
Version: 1.2.0-1
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.0
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: debhelper-compat (= 13), dh-ocaml, libcoq-elpi-ocaml-dev
Package-List:
 coq-hierarchy-builder deb ocaml optional arch=any
 libhierarchy-builder-coq deb ocaml optional arch=any
Checksums-Sha1:
 e84604616162b8b9172dbfc48dfec8efbf031241 183352 coq-hierarchy-builder_1.2.0.orig.tar.gz
 64945f0c1e2fe36e02611036462c0d233f9cabc1 3452 coq-hierarchy-builder_1.2.0-1.debian.tar.xz
Checksums-Sha256:
 ff0f1b432aa7b6643b61c6f7c70bd32c2afc703bc44b5580e6229f9749ef9fff 183352 coq-hierarchy-builder_1.2.0.orig.tar.gz
 8bb9fd836170f7da04fff21269005d30e1c3216236f46c502096055a58c8ce6d 3452 coq-hierarchy-builder_1.2.0-1.debian.tar.xz
Files:
 4e3278f44232d92b1b26b261f314ead0 183352 coq-hierarchy-builder_1.2.0.orig.tar.gz
 8028e4b5fd6985a3fa16b6ade89a792d 3452 coq-hierarchy-builder_1.2.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGp0MwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR1iMP/jrYXZFezi+azibyFHDt1PWZhKs6VJxa
kmoDXECcjS4gjfkWnlg0NwnjgveR/+NeBxSh/AXj0j2R5cng/BY3dHcFt2bx1lnq
b289n55Vr99E4G3tYh3c6NrWcVkhArfbfc2OZIb/uJeF8JIlZNQJUrU80v0hQKJL
r4UvIJcoNosonNxqN4waa5nzL5xXf6JTiJNuqPw3wFGiq4dmPlMach6qsPGZDDua
wKhm5ULVMFijKZcG0oyL/ctTuPYyC6PxIlt5uNBuN1oIqNmlq77EIHE/J/8vZkXM
DveVHCfvAs8qt/G6YDjRn9DPEnopn26b9H/GOle1kFSEXdzp0f3lYf3A+JwbViZB
PsPHFFhVuT9kEPo3sGh5RyJ6DpAup5wHeTgp+a3hOCFQ5rJ1yf+RSOe7GC92FC3X
V5uzqj/bBHeOYleewFV/A1Jgm3nqrVdvFqPzOWgU4LlAmGumf/Uee5bYeKNZBm/Y
PIVBReN9Z04BgkqfkI8MORiwJ7JN1q4AtHrFno/bvh1lrymButNy8UNlu/psXuwv
+rflenkDQXMoDHo50hGWVyEzyVV3C2+5xn0xJnGWpSfk65J4ORNn9/d8xlSkrzgw
Pjmv2P7HPChRSdR7YAHVx8Y4c462idBrvmG6COTSsUws/jvK9hzfaM+6P6lf5wFs
m/hiLrITsMWT
=ztZe
-----END PGP SIGNATURE-----