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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 3.5.0-1
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
 ed392be75c726fe68130c018e558654c77538bb8 5436 coq-elpi_3.5.0-1.debian.tar.xz
Checksums-Sha256:
 05fc70d0067512bccf772491a24bab355323c34154f4c9051bc95609b4dcfc77 1132542 coq-elpi_3.5.0.orig.tar.gz
 e087a0763bdc9633914007002158840af7df35c7de2cf3eb4913041e4d94081a 5436 coq-elpi_3.5.0-1.debian.tar.xz
Files:
 718c1c9e066e9ee421093bdad1665b3b 1132542 coq-elpi_3.5.0.orig.tar.gz
 f7ca8b10be73fb676ed2ed0321be258d 5436 coq-elpi_3.5.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpoc1QZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZGuD/0a5or+9SyhCrCcM91iN4ub
xNf6N1FwXYP7VGkdUGqkKjNccpO+lO2rLslsdIbXsrDyLJTgrBg1GDS2mIARf7rd
FL8tC9cfH8w01gjQ+IQU5jnKXwtf5lqU7uXJza4L1/bR4AjrEONunRiv4GW+NLIm
+JUBfBOj98VvMSK54RNVaIa9h0nowVBknJNn6/zdTH4W8M0NA81ihp02oeLFB2eL
VbP9ENiqMAGrhLhEpVJ8/evOeq9eQhyjN6bjaR7NPh95dCX+QcSXKFypsymWMmKf
LZJ70e+kExFDpWa1a18rXDOOItC6WZQ0r8eCoely7Sl1PThvzmMQ+/HUkvNpAMDX
vwJJv48osrT4WB1dwPEINyFVoWk9xbbZckxbq6zxJjjeWut3qGgqCI3pm6nbLvPm
ddcXYSR8zhntk96QS+wDNsvXSRo5oCXCpWUdcv5qhZ5H3gVFyMXwLHqTDkPXvWKa
rlm0QTECpIIY2t733GuCITRFSUaavLkXRh6wUJHPkhzB6TmE29pKg6ymymJBPPvy
mM3La81M/jjIyNpJihdgoOgNeDHfv4MziFoZtRvybB74JgUeB1J8FTPmCwJPaF1y
WJKnTB0ce76xGb+eB5OfkAHWglQnGzY1I4rNdp9GLbh/tpBZ2nmYEqMyx+IsaYTQ
I/lvM81h7M6o8USLzYr5RA==
=74pn
-----END PGP SIGNATURE-----