-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder, coq-hierarchy-builder
Architecture: any
Version: 1.6.0-1build5
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/hierarchy-builder
Standards-Version: 4.6.2
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:
 coq-hierarchy-builder deb ocaml optional arch=any
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 16339cebe64b37a98e60db99261d0f29a2ccd3e4 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz
 a39635f53f6fb0e04e23be1ef780a573ac0edf0a 3676 coq-hierarchy-builder_1.6.0-1build5.debian.tar.xz
Checksums-Sha256:
 18904a8bcd945adbf083bfc5af3bd98afa182d950253fba8733b638913738d22 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz
 5bb723d6eb51ffeccb89db0f4b5b14b6c9121e035d71896a30bed110f8eb50e5 3676 coq-hierarchy-builder_1.6.0-1build5.debian.tar.xz
Files:
 cf7c99cfa85c6efbeb69a232fd1012b7 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz
 5c2d7d439a9f5a2429d1439b23063011 3676 coq-hierarchy-builder_1.6.0-1build5.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmggACgkQ808JdE6f
XdluRA/9FPbWyAiYJ/Fqin8p4AcIkYk6bSyd14FMQNsGPJhU/pNF8qwpqJeB62fT
JnZtibiKolwoDY+tU3GmLrPgeHjA/wUpC39xKWQOGdfayfF8EVVXI08hMw7++8Cj
o49JIL00hlfkkZNB/rLy5GyBm2MXWLjL0pCmeozO085YqvRxENQBEA81/zr0xRUB
s+qKwTsU/9rEs210YeKs1h+80YyQvbpVPAPQZAF3OgMFwvaFiweye8KazXXSdyHu
6tQoaNst+bXgAjOxsbqT/hFGFDVnMvAZ+PHkg1t6AIfDJDt9J9TOhXaR/YbaL8Je
KcnnciHkemm3keQJqDGhvFvN1skGr9w2j/Qo/3bzuZ+ovV5et1fUC0rnNJSqGu6u
O70DgrS5IGhh16Rr1dr3Xki4XDFPJSRn5NN6jQweGzURDiw3XqtJCX0cK0aGDgdq
RVqoSpuM7SAayCdU5AGSC76YctFtUnFvGD725JYzumDrM0i0n8E8NM8dY/AxLMnm
/y6NNyOqTwcsnN/dT7raDc9aZKnV59MYM3DB4tdiiV+wuq9jlheD+++Sj/rXAo3k
tQMRfPLs99DoiuthdJMnlF8pLa7RgElp7KBkVZht6sKGCXpGdGF0J1zoJBd1leOi
o6dBD6y8YSYwy9xXx9qhi4MmY3U6W83YX01QKchfeWeOeRAHR44=
=rZ5/
-----END PGP SIGNATURE-----