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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.1-1build2
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
 bc439109faa5ecc124389fc6950b38b2ff5cdb0f 2984 coq-hierarchy-builder_1.8.1-1build2.debian.tar.xz
Checksums-Sha256:
 aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 64ce950a4a28cde0745fbab7d193d81e8f1ebd70da5aa7c33906b11f4edcf844 2984 coq-hierarchy-builder_1.8.1-1build2.debian.tar.xz
Files:
 3f5f4fd7c3fea1c9dd97e63038dbb149 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 b36011839d04428c686ef9dee8661337 2984 coq-hierarchy-builder_1.8.1-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1g3kACgkQ808JdE6f
Xdkybg/9FIelKubTANIIy/oNURJSWbsSKyFeo2RBQ5xBMZP1BroOinVh2bA48wrD
OC8Mb0HA1WI4Dm0Nn8meHJ34tDU97Pb836hAF+p3s4P9ZI7WIVpk2yHkHo69QoJj
8YRBIiVt4lyFOiov3IqDrmbzQBHSlIKIRkvtmqEKyrYpaLKkS//3uIW8GEtHet15
0EL62rKndGz2lFC3Mm0JMMJYv3aPiM9fdsNkzVC9HSbHKtnpheo6e+h3ObvFHi5j
P0CXAmDFhvyplUrLw36C0HHhqRUAv1EKy+qq0z4eSKsEZ5G503HoQCuInCVP+9++
ny645/QOeRq0lGY4Zf7NVXh++DqxMLVyqngJvS6lIWv7v7MMjz/OLS6TxGg4yjmC
q41PzX1SPE9kHAtim+Ez5hYhtM9/wgcGWjY9dunPG8vCilui/byxr2se2t2838YE
wpIGGUO3huTq5F8aWxrWpLyhRUt9qjOB04m4OCWuE0hS8baGAwF0D8xmIIUfJsyq
csBgYtZceJbr98MZ6NerI7LtoKJbzDXMP/A39OJs4DlSwsIvSw+68jshgolVkXg9
HAxA2wvesqGYZ/+rdVw1eXjQ3B8MmKqjCvpl6Z6Y9adDbkUhohoRZLtYcikZQGuW
VuWUzPl6A4FPc9VOPpIj5UpH2JMkvhi56cD4/vDWIHX6qKiu89M=
=6pwx
-----END PGP SIGNATURE-----