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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 3.5.0-3build1
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
 6a2b60eddb43bb16f1696d7287ad8e86cd70db2a 5756 coq-elpi_3.5.0-3build1.debian.tar.xz
Checksums-Sha256:
 05fc70d0067512bccf772491a24bab355323c34154f4c9051bc95609b4dcfc77 1132542 coq-elpi_3.5.0.orig.tar.gz
 e146c20d8e548b899b381baa41b10e6c91884210e67b64319dab7fcae29d8568 5756 coq-elpi_3.5.0-3build1.debian.tar.xz
Files:
 718c1c9e066e9ee421093bdad1665b3b 1132542 coq-elpi_3.5.0.orig.tar.gz
 50bf4e8d6259e60ca9330b4d39756766 5756 coq-elpi_3.5.0-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqPDJgACgkQ808JdE6f
XdlEUw/9GALVobw/qQo/PnVsFEiruc/cVDFoIhVh9WJ9jCN9a7e/t1UQjMEG6O4c
0SusWw73c5HjL5DMHPEJ2DwoJizor2pcKXZf+cLwxNF0QzaOYOYxGSrMVSONfuM7
aCXlyil1gzYwDJBy/OXcS/K21P1H5T7c8F/gCjLIh4CRte3iefCmAElvaJH5OQ4B
WjohtVTj8178pfFaSrRijNrORkdVCe3vL3uYSd8lw1NWcXUsjoiWB94NGQKG3wK8
XyEzXNdAQm6LnvTBo8iyekPBrE5Nv7oqQt0hmjri33M1Grbr7eX1N++4nJ8wA0Yg
+JYW0FiSu91uxK8AsWQm63pZHuFV+RZJBz3Qx/g1pYfkhUsS/O+xUrZXsxs7aDbo
pcHNP1t52PQh6eLViaLojTmz1PsJs1EGKq/xsG1q2VbxqJrfR33q7dHw50OVvsxE
IRulozmhh7oIXdnXkT1KPZNWfzzN/x0FZnxvViOAApiFSJQwsYGQJflWgAynnE2M
4qd1aWnO+vabLKV14zaplqkqFLvLXveAfT5Y72BVgfkwLwnMJcjgK3/TrRAa/F3e
MH10ovExA0Se4pVx8RHZhyTfkjLGUc4TC5GdZHBbZp7iUEpNTG4dKfnBp88LlSHr
KLqTNTK3nitC/qcBXEgEqj976DOGiWcK5YIKSi7enkD8fIg45IM=
=6lAH
-----END PGP SIGNATURE-----