-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi-ocaml, libcoq-elpi-ocaml-dev
Architecture: any
Version: 1.12.1-1build1
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.0
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-ocaml deb ocaml optional arch=any
 libcoq-elpi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 f76a27f0be574734ceaf30f19393817c645001e5 353244 coq-elpi_1.12.1.orig.tar.gz
 7042f028669f1ac1af930d5f111c56697403e8ac 4068 coq-elpi_1.12.1-1build1.debian.tar.xz
Checksums-Sha256:
 32eac6be5172eb945df6e80b1b6e0b784cbf1d7dca15ee780bb60716a0bb9ce5 353244 coq-elpi_1.12.1.orig.tar.gz
 b7124c5c47f011c17c3bd368a815c063f4275b0893c22c9adc8ff522fa0f13ce 4068 coq-elpi_1.12.1-1build1.debian.tar.xz
Files:
 d4574b5c1017be7da75fbc70a885ad40 353244 coq-elpi_1.12.1.orig.tar.gz
 32087e3d73f7126dc8f43f76813a518c 4068 coq-elpi_1.12.1-1build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmHwKDkQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9e8YD/4tXnF8i1IVMkCp9vpi2VyCKMFxoEIzGORO
gGqwMtTQiM0rLju75yZIAxf46PXts/eDgnjXT6llqSUyLXlfXNjY0uLceCXEs9jV
fHOoZX9efX4cweMnH2GVhwpqLGfyGzPbV/VoAZnZb4xc5sSk0bsV3/h0+czVjbhu
EqkkZBpCoYqoE9eDLT0mnAe7QTVacKXxhpd+dglr2morE49JUTyUMJaZrRdudEXv
9xhOR9KE4sVofIlQ9iswCnEhdX37XpGkh1WCW5dwjSFpZwooV3oOlkKviWzy1NGA
OneU9P5OsHnMfaSVLsdWHMlHppEvDiAf+AQtit9oE0gmFrZcA71bjxuFASa6kdkh
bHup4JhLBVwnSExj5JIU+gB7ZtgcTkNgFOe2JDj2xto8N0G9V+4dk+OyTJAwiPG0
kwXA4VvaGWHPhTiXlFgSBfGCnW87mGnvFZaSWzWmbUHpJNNslhxcZrtnMhnBc/P4
IsJrhP4SM8SulYvDGno4fvrX1NJQTHd4sMRAHtdgixoZExDAxDNt/PCLOmYl6XqT
7mY+k7+2eL4UoHdsZ1MAZ02pQCK4g9JS4Wm7dgN8rV33W1cnivJH5btPuRK/PCxi
YeNShXUKzC2XaaBHJaeo2Dt1s3WjHpgIlV2hT1lZ5ymwRtF9fyMHQv1wxfOqF1cZ
TFR+l8UTxg==
=FP5A
-----END PGP SIGNATURE-----