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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.3.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:
 d8155b8c3c4d7aed87ae0a08a4024f18a58b4e1b 734643 coq-elpi_2.3.0.orig.tar.gz
 7bf16b01ddc9c243f8ea2623236342bc23e100e0 3820 coq-elpi_2.3.0-1build1.debian.tar.xz
Checksums-Sha256:
 ce8f1d1bd95744328040013ee5843960604acc4961fb59f1fcf5f6b9dd03b5a2 734643 coq-elpi_2.3.0.orig.tar.gz
 dd0d0900b899bde2f13730e4675ec3bbc2d75fe1694d0cce5bc7c221d92c42b6 3820 coq-elpi_2.3.0-1build1.debian.tar.xz
Files:
 4c35df6383b33476a1d2c6dfd3da018a 734643 coq-elpi_2.3.0.orig.tar.gz
 13c53088e65996bb39584b619cacadfc 3820 coq-elpi_2.3.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeR/WYACgkQ808JdE6f
XdmnaxAAywW8gtTgUp/xlw9A/rUAkySqLke9srIlr+1KaoYSnRhx+kWMt+0mh+7x
zCulA39G8F3Twej40BFwMjjEbIGBCztmGA8joJN7ZHs15YpJb2mYzyQ86aVV4WRz
dS0j5jqDwiJ9tzjjtmo99mzr1ck4uIRZy5hurW5+zXAUeAvoWDOQ6T8WV79tQMcL
ixamGhRSYvFtNLqlGl3BIaUT02Y57zMmc1SS6x7J5BcPDJciJ5zRnicdCRy5HDEj
TtuxngFHUShlnZyLDr9Z+22wiqd3xUMI6rfuK8Z9n5Qvyzlfss8XvXPBuBGQ6O6N
+64H0+6WLaK3dXr6J1oRwXTy25dW/g1nk6aVznS6BJmKnrkKLkf6k/rF9oYnnOkQ
k27oA4AGJize9asFfv6TICnbSoHAFUxPZH6BF+Nz9lirY/UK2rW2YgRuRScAPiNW
d+yQ4vNPGQVeWvDCq6NnnbHoAhPR7Fm0EJsZpq2WVfSmI1N25vBTAVTZY0fKxV6N
DugHL1f+aGgPJAkL7c7Q6FmCCTAnMRojDyguGeW0ASkQGXH0WYGMojlZgaMyphcB
5UwLuzIHExsTiO40tZwdVsFellTNgXpXr6mtg/EPHwEzcwQkfZrKX7DMxma0IFr2
Otx/FW0JCw9BVcxIvpa/3uqbaT0D4YSsOvyl4KcyPI7IABAhdE4=
=lf9v
-----END PGP SIGNATURE-----