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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.1-1build10
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.7.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: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libelpi-ocaml-dev, wdiff
Package-List:
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 1641ef88f49cfa92943942109634bfc5a46c7825 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 32f874fe454d83ca7618773471cf9076dbad80f8 3120 coq-hierarchy-builder_1.8.1-1build10.debian.tar.xz
Checksums-Sha256:
 aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 f9e69d84a1ff4b72bd3158db64500fff55cdabc45e81fc478f23b9fd1e79256d 3120 coq-hierarchy-builder_1.8.1-1build10.debian.tar.xz
Files:
 3f5f4fd7c3fea1c9dd97e63038dbb149 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 c400d8bf494e250019f5bf247d1e68b4 3120 coq-hierarchy-builder_1.8.1-1build10.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkMVksACgkQ808JdE6f
Xdl5sw/8CL+Vkjh56ji+Hi4DLIYJQFSHzWswPIbcfBGJplI0nHpE3noWN14dcB4v
UD4mvaPYQHvcYqdhQCMDzcdQWCF+UWmzZQW9pWTos8P6gzd0ttN7VxlYYUYj2uXi
Kq9t8JFXNvaavDZBQTwvOEOn1/VcKaWZwm7enpM6mGtB4PaAmdIhyuYaYRyAJBcG
c1PEQ/59BOk6hSOfnUhTfe9BwkywOi05CQuBOgmj6csSP2t322FrF5f6kUGUkbx6
NOvmHOLwWLtlmEjyXZ2qcKRUOmzZOTsdcFmTV55tZ24gDrv1O/ocGphLtZ3Uubtx
50BiXi2RwtyqedjZTrlcYTZmTtXjp3W3EI/pcp4ufwzGbdm/CI/JQDIjp1yOSAMO
KXRim54IEg+66sQuDe3ozii9dk25Mf20MDvxv282jB2Eke4+faGGraKSillFuT2g
ZpVVG2029VRmJmvd/BKP0XalMK4z1strHIe2wYSH6hD/e6OBkLn45u5swmxoJMBV
CLEPoNqEoNZK4N8fC6shhE7bcIId8+a2ACrYwKcXRoHjmE0xRn7ISDFO1P+n1h19
KFhPoMYAHia45VBVV7tHQXx754ZEOTAwSxK7lO+N0m2MN1j+g/DY6sWgTnXlccF0
L+VWkkBliJssvqzOoUxTc0kNSiMnLyI8DMzPG7wAgAi2vo4V/rE=
=kT4l
-----END PGP SIGNATURE-----