-----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-5
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, dh-coq, coq, libcoq-ocaml-dev (>= 8.15), libcoq-stdlib, 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
 f4ea7d9391555ec00334990f8b91a6d3cc9465fe 3208 coq-elpi_1.14.0-5.debian.tar.xz
Checksums-Sha256:
 ec85b559f7ba663cd02448dc736b2802bac820ee9a2a1e8a8ddcfef88e1bb700 360407 coq-elpi_1.14.0.orig.tar.gz
 3ce6b41f6e293c0d53a6a1a6ee4a93d766a83042f6d5054e8e57ee03d9c68bb1 3208 coq-elpi_1.14.0-5.debian.tar.xz
Files:
 755323c2d96e12728833234b92c33ebb 360407 coq-elpi_1.14.0.orig.tar.gz
 270f22386587fda66e4980a0f4137044 3208 coq-elpi_1.14.0-5.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmLFESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR2KAP/2K8rIIxtLqa5KAVyt+ff+4GnyeL9Zwq
nb/+u91CM+Tts6rCu7v1rYuYf9zdXBakEP6lPX5kxLrEgCC2hcU80EbN1yaL6Yn5
o8oPr3zW9k8ARqAjSWAA9+DylOYJh4WjbM2tzxqO+nm8P6cB1cSSCFRPwvFvG5w+
W27Dv0rSLQOAVgwNu0KSlCaEopbBb1vH3yGAsh4kuvXly2BHdCOJxtJJX/4XEPWQ
ljV+hAiuBvJzPKcx/Cobdu/50z8caheERWTuI5jGXD4ZdFSqzTkNg9gAjBVYBMSO
DtV9hA+2PuWBrC4wlHyQGxl/oGgDrKElegjYiuDEwOfYVJLSDuPV3Kh9x0rsnJuT
740OYix2RB8Fb39N/53QfcYFU0rMDIYUdY6vhiIbnz9EljdGgx3RQKb1U2a1tX8r
gFXBv2acwBewFFsgFManXP5xnD29+WWcmMh9FeUkVjC24FFS/lHcgxneoL6bRLBC
+cYXEkyLUl9yJHYKysCTLeJjvIA4VuGZS+gwRal+qQ7fkqOQTCZo59frKkXTIKzl
DHrnZ/ybb97bOA1kO+t8Bnau3X6f9C0Xk8T2SWUu/jBZKVAF/Mw4EZPUkBLhdAeb
chOx+VZdN/Bm79ZCjj/y5PmRMFVXmBcTGQliD25jibRm4/QSK9VBrCrGmSfHP/vG
NRH/N+7fWbPx
=WEHX
-----END PGP SIGNATURE-----