Source Package: elpi (1.16.8-1)
Links for elpi
Debian Resources:
Maintainers:
External Resources:
The following binary packages are built from this source package:
- elpi
- embeddable lambda-Prolog interpreter (tool)
- libelpi-ocaml
- embeddable lambda-Prolog interpreter (runtime files)
- libelpi-ocaml-dev
- embeddable lambda-Prolog interpreter (dev files)
Other Packages Related to elpi
-
- adep:
atdts
(>= 2.9.1)
- OCaml code generator for TypeScript
-
- adep:
camlp5
(>= 8.00.02)
- Pre Processor Pretty Printer for OCaml - classical version
-
- adep:
debhelper-compat
(= 13)
- Package not available
-
- adep:
dh-ocaml
- helper tools for maintaining OCaml-related Debian packages
-
- adep:
gnuplot
- Command-line driven interactive plotting program.
also a virtual package provided by
gnuplot-nox, gnuplot-qt, gnuplot-x11
-
- adep:
libansi-terminal-ocaml-dev
- colors and cursor movements for OCaml applications (dev files)
-
- adep:
libatdgen-ocaml-dev
(>= 2.9.1)
- OCaml code generator for biniou and JSON - executable and dev files
-
- adep:
libcmdliner-ocaml-dev
- declarative definition of command line interfaces
-
- adep:
libmenhir-ocaml-dev
- Menhir library for OCaml
-
- adep:
libppx-deriving-ocaml-dev
- type-driven code generation for OCaml (dev files)
-
- adep:
libppxlib-ocaml-dev
- meta-programming for OCaml
-
- adep:
libre-ocaml-dev
- regular expression library for OCaml
-
- adep:
lua5.1
- Simple, extensible, embeddable programming language
-
- adep:
menhir
- Parser generator for OCaml
-
- adep:
ocaml-dune
- composable build system for OCaml projects
-
- adep:
time
- GNU time program for measuring CPU resource usage
