Source Package: elpi (1.18.2-5)
Links for elpi
Debian Resources:
Maintainers:
External Resources:
The following binary packages are built from this source package:
- elpi
- interprete lambda-Prolog incorporabile (strumento)
- libelpi-ocaml
- interprete lambda-Prolog incorporabile (file runtime)
- libelpi-ocaml-dev
- interprete lambda-Prolog incorporabile (file di sviluppo)
Other Packages Related to elpi
-
- adep:
atdts
(>= 2.9.1)
- generatore di codice OCaml per TypeScript
-
- adep:
camlp5
(>= 8.00.02)
- strumento di pre-elaborazione per belle stampe per OCaml - versione classica
-
- adep:
debhelper-compat
(= 13)
- Package not available
-
- adep:
dh-ocaml
(>= 1.2)
- strumenti ausiliari per mantenere pacchetti Debian relativi a OCaml
-
- adep:
gnuplot-nox
- programma a riga di comando interattivo per tracciare grafici - pacchetto senza X
also a virtual package provided by
gnuplot-qt, gnuplot-x11
-
- adep:
libansi-terminal-ocaml-dev
- colori e movimenti del cursore per applicazioni OCaml (file di sviluppo)
-
- adep:
libatdgen-ocaml-dev
(>= 2.9.1)
- generatore di codice OCaml per biniou e JSON - eseguibile e file di sviluppo
-
- adep:
libcmdliner-ocaml-dev
- declarative definition of command line interfaces
-
- adep:
libmenhir-ocaml-dev
- Menhir library for OCaml
-
- adep:
libppx-deriving-ocaml-dev
- generazione di codice pilotata da tipi per OCaml (file di sviluppo)
-
- adep:
libppxlib-ocaml-dev
- meta-programming for OCaml
-
- adep:
libre-ocaml-dev
- libreria per espressioni regolari per OCaml
-
- adep:
lua5.1
- linguaggio di programmazione semplice, estensibile, incorporabile
-
- adep:
menhir
- Parser generator for OCaml
-
- adep:
ocaml-native-compilers
- Package not available
-
- adep:
ocaml-dune
- sistema di compilazione componibile per progetti OCaml
-
- adep:
time
- programma GNU time per misurare l'uso delle risorse CPU
-
- adep:
yojson-tools
- libreria JSON per OCaml - strumenti