Package: wnpp Owner: Julien Puydt <[email protected]> X-Debbugs-Cc: Debian OCaml Maintainers <[email protected]> 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
