Package: wnpp Owner: Julien Puydt <jpu...@debian.org> X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Severity: wishlist
* Package name : ppx-import Version : 1.8.0 Upstream Author : Peter Zotov * URL : https://github.com/ocaml-ppx/ppx_import * License : Expat Programming Lang: OCaml Description : OCaml extension to import declarations This package provides a ppx rewriter to import declarations from interface files. It's a dep for coq-serapi, which is a dep for alectryon, a collection of tools to process coq snippets embedded in text documents. Cheers, J.Puydt
