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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.19.3-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.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib, libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 2ebf0d931c8083349901f90234aeaac5e22d616e 571678 coq-elpi_1.19.3.orig.tar.gz
 e01ad0f4a027a050542080e77d04ad03807d2b49 3644 coq-elpi_1.19.3-2.debian.tar.xz
Checksums-Sha256:
 befad7c58a5b2b60ac805646172016bb9dc9764c92c7dcc2056c3d15a3d8b1b4 571678 coq-elpi_1.19.3.orig.tar.gz
 677e3da1f8c02cdbce7262629722e6067ba1a584e8c23037dc62ab426724bf2f 3644 coq-elpi_1.19.3-2.debian.tar.xz
Files:
 17db60a99d07ca13976b794a8205327b 571678 coq-elpi_1.19.3.orig.tar.gz
 625a6b8f7351706efa29a2639693eea2 3644 coq-elpi_1.19.3-2.debian.tar.xz
Dgit: 6ac5ffc03e544e9528ccb2b881da2fa59bb225b1 debian archive/debian/1.19.3-2 https://git.dgit.debian.org/coq-elpi

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmWVEpISHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBpl4IAKZJmQTe5gIO93X9ThfqsluQWJ17cLu6
8xJUqwmeqxUPUsBn/fFafpR/Q9aUeTFcLWEiFKGgqFt16Pc353fUi60UES2aHXAA
FvMYQH+Vmqxvxn+6sWUJM2EYN5hP6VvsbGCFQtcHQkZyfJcrD4xpGB9/ZeoIQTQi
y6+1ewOR0+biaHb/QWYsHu1DqS68bbhE1VEjTi0q2ZdJG10ubC+SWyZZb0Ok8dYD
QqbCrBFa3lS2GcGannosnRdqktrM/2QkOR3ZmfHCbepNpWbwfyAN80/8awmkcdVU
HqHUNiprLHLIQiAgH5FgdNaK7/3igxrHe6T55Gbg+rDlfYafZZbBTTo=
=fEmc
-----END PGP SIGNATURE-----