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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.15.5-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.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
Checksums-Sha1:
 f49777752d522f4b229650d582bfebcdcf18cc5a 404741 coq-elpi_1.15.5.orig.tar.gz
 a7a493b650cb80e1063c42f517d420280da5310a 3372 coq-elpi_1.15.5-1.debian.tar.xz
Checksums-Sha256:
 ea7a236e93c31c963dd481942eb1965987357860eb4518ff5c22fa7369156d97 404741 coq-elpi_1.15.5.orig.tar.gz
 15a6dac2ed1752a2af4518453546c9732286fe19722793daf7c5e044f6571f4c 3372 coq-elpi_1.15.5-1.debian.tar.xz
Files:
 7336924c40df406eb52df87a8a0e798e 404741 coq-elpi_1.15.5.orig.tar.gz
 875b8bb0a74c02342b165d959de6d769 3372 coq-elpi_1.15.5-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWIKsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRZDYP/1mlpbXYliZeo7W4tpYY5iVt+CRxE1Fp
MnrxnkWI0k+x2S5xGA8Dh2kcraEFW48EM7itNoNTxiLxbrc3ogZL+ffxIG0JXlGu
negFdkQB3l2M0LD180fgNzhM6UWRuGfEL+uq4SqNLcZwxHwRXS+L/LkS5j20nv9F
79UKXX+uNMcCyuHu48UMYcvzLfc9ztJJXcI3RZAe2xIW+RDn7yHlEYDBBuuxKknx
W1N0F1LDZc8hXF/C8R9CjcR2tLPCjvPC93T+Y2hgUH+By+sLQ5qGVboLWUs/7Kuu
wL3Jm+Ra+PuD/p948Hh0hAiKbQflEaMurYO8VIWcZfNvWchnHVem8SXyL8FoEWby
UWz77U09pAk1GdmA8TzxRecrt0jbbLbrfn5GTZB/oYd7kIxD5qe40OitQrNxhWaL
ijPKlTsMAnO5GEwez3P5NkKHkjGaeeDqpIsd5BO0kRWGH2Ltd1U+FeOnkU0Gr1aA
4MULkXcxj1ujxRKISgssNj+INPXqHplLboGmKKuoPMbcvjGzB1tKvSNKlkWVTsEY
pmvDO5zPGMK22vo0ccwB3hQJ2bK4UWW6faT9jrmkpy5OIG5b/rNihdQ5cqAUw3fG
svKmIcygb2/FZat2SwR53SDXwGR5L0D3HVb+o00ucTEBqbsa2vbYATFdouPGekAm
QcesEeocn4UN
=BRYp
-----END PGP SIGNATURE-----