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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.16.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: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev (>= 8.15), libcoq-stdlib, libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 f340c26af224a9c6844731bddc4b037a1ffe4020 426223 coq-elpi_1.16.0.orig.tar.gz
 f9e3bf46f1c14ccdb7a87ad0e54bb0f53c3418ce 3412 coq-elpi_1.16.0-2.debian.tar.xz
Checksums-Sha256:
 db21d73dd749290fa6ab858dc40e75ce7bde7b80724338580b20902bf05feaa7 426223 coq-elpi_1.16.0.orig.tar.gz
 6f7d9746c758a91ca8d5a04571e0a77e919db8468f7c632f481379c4af09d0d1 3412 coq-elpi_1.16.0-2.debian.tar.xz
Files:
 688a6cb1b67db26b007a0cf54ba0e985 426223 coq-elpi_1.16.0.orig.tar.gz
 9f065e96760ef1865665140f54e9f4f3 3412 coq-elpi_1.16.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ0GMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRWg4P/i+z5FkEfXU/Ytmp4ZYRqXDCoiQN3H+p
qicr3VdnS2kHw6/LIxU+dHHHL1/FfjV0E6NiMgJm2/gWfq8nrmErklKJkFXpVuO4
nmitiaZVdKqkgclc1vkme6zMnFHPV+o8SO1X1PFPJcJT4Dl1uZlZKc3AFytunL++
HCkhbCrfHRxJ3aKJAjTMaFa2AuA5TR36ASzqGv3KNcry9/hDKus2zlDwgsp8FKnc
3MAboZ8mzh3PXV1wwB3MQ56CDnUPZuQzXlEpVCqGznHv/bhR0EsUcJOs/ye/DEmz
Cmk2NMidPm7SpuJOioNTLo+XNH7cUIUwYcKC3uux7N4dgzg0i+9P4Jdpyg1aq6eC
fGn0ewRVyVV5AkU9uMUbdK7EcsfWg5Rsp0X7NUZ3gIhjioim1OfG4NkI74Yci8q1
0ERaWtViRRxEZpphzdJS6NlkjM97BgywrXqiTTJI3B0IWSavxCXqx9p6EM8V3zrj
VY8krSSGwROD+hisilMjlOiGNX9Dx8xDVL7/VtsrKIZXjT2xivPKqqmWy6NhnDp4
sCuPPg5WvaeFtHc5mLg2o7graXIRXQ+x3FJ7n1C7VpKo6+IZjXqs5X5EaiB5ADGl
ICPHsn7B8BU/qaaseDGvXR4cTIRNt3f2vXU62aVJMKugdLh7jS1o4taEmBRwPGPg
cPNEYHHJLGk8
=MFZJ
-----END PGP SIGNATURE-----