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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi, libcoq-elpi-ocaml, libcoq-elpi-ocaml-dev
Architecture: any
Version: 1.14.0-2
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.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
Build-Depends: debhelper-compat (= 13), dh-ocaml, coq, libcoq-ocaml-dev (>= 8.15), libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=any
 libcoq-elpi-ocaml deb ocaml optional arch=any
 libcoq-elpi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 42a67b1d280d76f894dcc0073095c4239fa75d3d 360407 coq-elpi_1.14.0.orig.tar.gz
 76002abf616ed33b0bd327507173f249fe3e1f78 3164 coq-elpi_1.14.0-2.debian.tar.xz
Checksums-Sha256:
 ec85b559f7ba663cd02448dc736b2802bac820ee9a2a1e8a8ddcfef88e1bb700 360407 coq-elpi_1.14.0.orig.tar.gz
 bc5688b1973098a0729ed14b1dab03b26335b12c5834d8ebd7443d94ffbee867 3164 coq-elpi_1.14.0-2.debian.tar.xz
Files:
 755323c2d96e12728833234b92c33ebb 360407 coq-elpi_1.14.0.orig.tar.gz
 b9c287680aba43831d0dcb67e3f3eafe 3164 coq-elpi_1.14.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKJJRgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRcP0QAJPqphwQFzVNFGfaWPLDKj1K/Ha4n69b
2VD23RqTejTwDetP6scJ6kiezNyGxDO+N9uaJ6XMmCr8lM4C+P6O8Q6V6dgnqeXj
7kHDgPHeySfQ4xpmrdO0Xgj/4IDedDmceOWhBuvYnsiFqiXjN6ljqwr1no/EdVOv
/dhIVWZcvVOgxz3UHEcA1kamISyJabYt+tl1oyxihe6zTyse6W8P5Tti2vxDeg02
fa9iNJig1flGFA3ulybuuPrC70MAK/ix14Q/1NFIcJTMIu7JjvCN3CA7wJyK0nx+
BkgFbcLCtnG63tzUEtO2PccDgZXVOThOOQQrACn/opqmrnTmw1o/jmhftw2A9ym8
jEmi6hY4Lhflj3fCjmTFmiq+W2iAHGsh0B7b3nY8pc20tv3W6Q/dbcgIUumawhDy
99uYpm5HR+w4fKo3Cv1QE8VB8Hn8FDpwa+GrI9E8NPxWmrRqFf3BYx1hp+qc7Bvl
tEgyN+nlQol2hTTtXBYWzkdtuXuRrBjN8dxuOehaPO8/FZgfmZe2jhTWQHWKahaQ
iGIqb+mxf4jz1Uljn/PiPUzX0/Kn0swI2xU7VlnSxQq/hh+wFrVXdlNepVvBtMjG
vC/Bs6GV7Rlak3+pEkgMM49pWNL0GUUjH0Wn+vLOZz6jOoYOd6DEfK0JekSj60Ll
oMWMzyNaJhWv
=wuDv
-----END PGP SIGNATURE-----