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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi, libcoq-elpi-ocaml, libcoq-elpi-ocaml-dev
Architecture: any
Version: 1.13.0-7build1
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 deb ocaml optional arch=any
 libcoq-elpi-ocaml deb ocaml optional arch=any
 libcoq-elpi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 8982605c73f1f7bd6f29dd27e890ae8bbcb98469 360052 coq-elpi_1.13.0.orig.tar.gz
 82d6da9a01766f780c2c42c83a3a17a447f48beb 3132 coq-elpi_1.13.0-7build1.debian.tar.xz
Checksums-Sha256:
 7fea00b390d76b3cc50e01f571ed17b171e0f4c79a3bfac7614591d553fc1047 360052 coq-elpi_1.13.0.orig.tar.gz
 bbb55f6f8b7cde6e8f2d29e5778f0348d735ffdcf700c3cd6269f64fbfb892ab 3132 coq-elpi_1.13.0-7build1.debian.tar.xz
Files:
 2c3fdb216e98c32610a8cbe6234d4e7f 360052 coq-elpi_1.13.0.orig.tar.gz
 8844bafb6894c923f61979e4fe1f21cd 3132 coq-elpi_1.13.0-7build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmJvd0gACgkQ808JdE6f
Xdm1qQ//b+Qnn4lUA2dRGQ3P5pjbf7iiRQnozu+SnWsfR2OEgsA1MwqfEOelx7dc
joALKnLmHyhOORxlDq/W9fYiCFdb7hgVPicJHdFgCTBwKDVgjYuMjS/aIFL4B99+
LxNrLqfGmCQpWucL9VLA8Dgg9Mazs0Y0o17ocGCr27LYCMmy7OFYqNiwGlJAcSGj
xVBfXlZDyaJUcy9cCan2m/H/HtbtMkIUbC+bCw8ryufHCKIrQyOC6xPE/bvao3Fz
nZJkvYXjnmhf3SsnGZ7E7m/Du6jYAIuwMiGGMpgtaYD61gmYOjgUXMpFOMjRRbiV
AlimU4oAxwryYuRSIBYTTTFYwsz65DETt3kgxH1Z9eey/jGK9l9Ft1tvgq0mgHts
dNPKEl3TuVmIa9V9vqpUFlMfF4hC2Q/4lcY0W39o+gY/Ix/paRFJoUK1r3NhSRsD
4YiIPnz329NAvVteF/gRTvcXwYnNzD6JKZAZM+dd8FRiFlMflfIHdsujlDY3HRUj
6fz5dd14/HWqnp6LpJe86Zr+oX+gMyju85yi+/o31a/6QbGyxsIrjkig6jbUL2uA
82TjxFuJkexLuzSlHVkUVMUAcHARWjXF61H08aXvJ/gZuC3FhPM5f8bB52hPl8U+
z9UZiAWNm02ZBlZUMBjX8mfIUJ6BmJRG54X25s1JvsFLKHnJxpI=
=TpZR
-----END PGP SIGNATURE-----