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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 3.5.0-3build6
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
 03058ef5539974acf3085a80fd188d292a8e455b 5852 coq-elpi_3.5.0-3build6.debian.tar.xz
Checksums-Sha256:
 05fc70d0067512bccf772491a24bab355323c34154f4c9051bc95609b4dcfc77 1132542 coq-elpi_3.5.0.orig.tar.gz
 dc2ac607ecbb5095e675bef06455bb91c21f134de93785c50fa8b966852d9fe2 5852 coq-elpi_3.5.0-3build6.debian.tar.xz
Files:
 718c1c9e066e9ee421093bdad1665b3b 1132542 coq-elpi_3.5.0.orig.tar.gz
 8a934f2321d55c6ae5c7f870a85f3dc5 5852 coq-elpi_3.5.0-3build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtDAMACgkQLIPbyOm9
DjdoEBAAsZ3+m51bxL+YI7QZKtV/YrpElkoEGisRu1xJt7w7JRW3SslF0GsbhRvz
rFMhsrEwVWVhht3Bryw7Z26d3DEVu5GJY4RoGhC+mx3i+3AYRTsatAsgprBOvgk6
0SWexoUkQytDYtaaPkYlfkY+jwTJfW3Fwx24LNao3obEXkYk8ib9zmh4Z3fGyE5M
S0WKMZVGBQexOpFB8aGitR4WQ070oCV2R6dEJyOnjXglKVAoK9tjNN7DD2UNJ/SU
nt+84Wdp/Ao3WH3oDa+ToXOqeSqxFjFondKQ46K1w7Jd4hSIHQLt1Ki6Vfs/kho5
K0HSs46ST+Opt+iC31M7UgYRW14W8w45INoVycPVXlxvAC7/8zc2E/mluaH/UUz/
Kwe4KdZln5a3Z7hyTlMUiSq+hcoXMXc9j1FXla0v3sq0FBUb55yE0Dr6QLikZFwo
MWfbFW/LJrUY1OBD6KphQIPzUao1wiDpXjb1qKrsJSsWTKXVJTEcWedBaC3CWxx/
YA3k9PI17KZzylK97+QSkYPTFiFzRjBIYvdz67AhTgM/4iB0YKL7s7ttpw/6zL2V
Si0OFeS77lves/6r/CG9Va8WQ5zaInxtuVFpBP4/J6jetL3rWDzojf0iZf3XzgzV
obt1wJPA0Svytdpx2tZxkddtHCf9sTLK0bHUu5Uj4vzUn6f4BF8=
=9Qr1
-----END PGP SIGNATURE-----