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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.4.0-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.7.0
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, elpi, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib, libelpi-ocaml-dev, libppx-optcomp-ocaml-dev, ocaml-dune
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 78e4fc8064c0e4a2588cf8564c6ddab8440a120d 734755 coq-elpi_2.4.0.orig.tar.gz
 ba9c708af699c3365294f1437a5f22bac0861cec 3848 coq-elpi_2.4.0-1build1.debian.tar.xz
Checksums-Sha256:
 197cc82611cb9878f45b31bd6563903f10e41ac5851c37e16df48c8a72b0a268 734755 coq-elpi_2.4.0.orig.tar.gz
 08e204c8cb2ff545d4c56e1ddea08a36ddfe33cde16be5dd9245a7173e4f2514 3848 coq-elpi_2.4.0-1build1.debian.tar.xz
Files:
 caae6df5f32acc7cee281e63df8cf223 734755 coq-elpi_2.4.0.orig.tar.gz
 c1f15b63e7d0c02598a440ba02ad34d7 3848 coq-elpi_2.4.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAme059IACgkQLIPbyOm9
Djf10Q/+La9X52PoEM9qOlLiPSjynjKaZHdd8syIX0yX0h05cG7ENudbgA5OwRmJ
4ArYa0HaE2RL9+KJC6bPVDqBZ9tw6hmRihq9hwmehxQcP8RNGqyN2vBk9z57YUOC
+tVYhVh9Mfx9FdG9Ew+XfsjIBZETTvagE0tgXMjMyLL9ccepi2tU31j3TfIFIHAC
g/4W5UXaR1ECz6jXBFdVSXBZSusCbqYa4YeAlCCHca+3CcTxpqpoJwZmXK0Zqs0n
o6I+xW61vk34nXYhB4/vTLUICDaPSQLJdcYPPKfIbMJqGP0iN/YHSODvYyhAqzjG
DKD3yieqGrPYlfXAnloExqxiv7igRn7QvuiKSTrpwa0wqykY1M7zPNzB68jOa27g
zvFn9oT7sl6V1PvE8O6hjom9h6WLSG50HPwdAK1KercT2c8EWixyNXMSNAxPd4l+
JKW9MnDgJbQWt3aVjGnPS/1v4DjmXef1NE9LMxrb6NqaBkrecvg6fJxk5ecNcZPn
H5dza2tdWSNL8JgCq8qzVdjmRRAtb3e+bT9We+RNvBWg2B4j9DuNCac50fNqYHT3
L5t+2pH/tqk/nkJejtEHiisz8HB5aX3UcX6CneDrCLLYcBZbWnUDCpoafebZMPta
tyVsC6q0zkLaRr3i18fnDxD+6Dad6wpkuxk6Spy4ykCuYW9Wu9E=
=V1cL
-----END PGP SIGNATURE-----