-----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-3
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, libelpi-ocaml-dev
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
 bab66afd85a21ae6d109f455f56e819b6cd0fb30 2772 coq-hierarchy-builder_1.2.1-3.debian.tar.xz
Checksums-Sha256:
 a515d4fea55c30a6346877edfa6f23447a19c6875feb889ec21bed062c004060 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 41d9805712ad74a1f96a25bb1044935f02b8a46e81429b2175bbfbe98266a18d 2772 coq-hierarchy-builder_1.2.1-3.debian.tar.xz
Files:
 d58be118c53633852c814eb042f67129 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 74bdb072ab156a450c35ee25b2e95c70 2772 coq-hierarchy-builder_1.2.1-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmI7k4gSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRZgYP/0UVrIIt6EOi9ALfsIpU/jVDr53AMsgT
UsT+4+k+D3hqBgw70ba0GcB+XplewtQhVq/7uzCuPFXX1FtGna2b9SfYqjWoiRv4
niuow8eE6X5NEF1hzYQYhVjl4UdJhXQx9XLLcGLl2KiICsD2ZUPDZr051uL1V4uH
IViIIlN/GsMDunzd8wWLhKNAjmVNQezkoYN1b2i98Tf8OdUomfSwxeW05D+aBb9/
5HyVx0nMPWrV+jpLzFlt3evUUOHdBO+5U+FuV6i5nNIJILaD5llVAe7aj29UoW3q
u/1l2Bfy7x/D9a7dHo5KnvoXmuodWVOdrkKjPH9sqOA9LHsRiUnc4B52f1Fz5ihZ
YNEAimTIk17LCUI3NuYdqPhbrQ6du3s17BgrMFkmKb63gZTQD4ieXqKmGAcxFzIY
9X2/COt6J+tJa+lS97l4298InIw8UZnCPBCrYi/8U6CdIDHTyXW9BdcWdwzhObXm
yoqxYn2Q3kUcfC+uErd8EiPDCZfH2lcTTwpOhdD1EVV3VL4QINDB9CdXCEXoyt/R
32EMeHZIAlSQuEAU916bjVlKqzQxG/ACeZ06qv9tSEZ+luAnkM+rqr+sW/mjQHZB
OVu3mHLMLUSxLY322p7v5nDRbKF+Jfwj4EvjsilwDnX9U9n75xUclN0QzTiEZSvM
8awzTv9t3Z2D
=C2jo
-----END PGP SIGNATURE-----