Bronpakket: elpi (1.16.8-1)
Verwijzigingen voor elpi
Debian bronnen:
Beheerders:
Externe bronnen:
De volgende binaire pakketten worden van dit bronpakket gebouwd:
- elpi
- embeddable lambda-Prolog interpreter (tool)
- libelpi-ocaml
- embeddable lambda-Prolog interpreter (runtime files)
- libelpi-ocaml-dev
- embeddable lambda-Prolog interpreter (dev files)
Andere aan elpi gerelateerde pakketten
-
- 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)
- Pakket niet beschikbaar
-
- adep:
dh-ocaml
- helper tools for maintaining OCaml-related Debian packages
-
- adep:
gnuplot
- Command-line driven interactive plotting program.
Ook een virtueel pakket geboden door:
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
