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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 3.5.0-3build4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/LPCIC/coq-elpi
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, elpi (>= 3.4.2), libcoq-core-ocaml-dev, libcoq-stdlib, libelpi-ocaml-dev, libppx-optcomp-ocaml-dev, libxml-light-ocaml-dev, libyojson-ocaml-dev, ocaml-dune (>= 3.24.1)
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 0735f3d605062f8ed56cb91ffc17636741466f7f 1132542 coq-elpi_3.5.0.orig.tar.gz
 3653acdc390203180c51b3cb0b880431fc3fa521 5800 coq-elpi_3.5.0-3build4.debian.tar.xz
Checksums-Sha256:
 05fc70d0067512bccf772491a24bab355323c34154f4c9051bc95609b4dcfc77 1132542 coq-elpi_3.5.0.orig.tar.gz
 7785e789851c37d22041e27e3a69caedc6903115508fd9269878a6568cc07ea5 5800 coq-elpi_3.5.0-3build4.debian.tar.xz
Files:
 718c1c9e066e9ee421093bdad1665b3b 1132542 coq-elpi_3.5.0.orig.tar.gz
 ea34ba94cf1c55cdd9df10b7b9e5595c 5800 coq-elpi_3.5.0-3build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqhaKMACgkQ808JdE6f
Xdnkgw//fWUqebpqrhsxoBda4y+6PEt6IlJlv8V/a6tDnghQFCkYvUHAQSBlOuQl
BE8NjBATqKwpGHQYj6xyoKq+SP9zM7Sii2+1zMeEfjpMuJw0WOiciwxx7fFlL53D
XC0LDmyqvKtthy+kxgGCQhqjVVGvZJQHIecJt29XkLNiIhsGQxa+xa9Gmmdkwrnq
XNICGqQMzueDCqPpOf2LfOh4EXbx1P2Ep2WweaDxJ3C/OuczKF6WxUXxxnRepm40
USF8LeHi03CrVyWjX5cMVUQLkC15oIVvk3ACs1Z2Cafi9fFm4JPwaijYVDM5bDRx
j+cqd3EiZy8iLVyQZjxERc8kiA64KfbrwMrZjUmgTs7vFxLGQj97J/hcgC0/juLH
zVLxV/33N54x10wn7BW2r6Z67OEEhn9L19YUEnTFNo8CB472aG2aJxFGLzDoNsMV
hERfH5LVV7mml5fuUsqtrvJggGjsoSdSBU0IZeQfg8v6pSb3JNcgNL/EGxbJT8g1
ySPqHPUosUuKFsaNiMYJ8rSYNhtxKk6VIGji5e5+vpI8IZ9j8NnMcNpv9A3V1GtP
SvKlpmapIwArxz0Bk57qDLxJXsRlf9AoMz+JB++7VSZM5RYw1GiVoeAXmezwdNr9
YP3St23VR4sYaeQNv9DE2QAzRPeQmMIM7v129i9EWpj0jW9mRfo=
=0LC9
-----END PGP SIGNATURE-----