Paquet source : elpi (1.17.4-3)
Liens pour elpi
Ressources Debian :
Responsables :
Ressources externes :
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- elpi
- interpréteur enchâssable lambda-Prolog – outil
- libelpi-ocaml
- embeddable lambda-Prolog interpreter (runtime files)
- libelpi-ocaml-dev
- embeddable lambda-Prolog interpreter (dev files)
Autres paquets associés à elpi
-
- adep:
atdts
(>= 2.9.1)
- générateur de code OCaml pour TypeScript
-
- adep:
camlp5
(>= 8.00.02)
- préprocesseur et bel afficheur pour OCaml – version classique
-
- adep:
debhelper-compat
(= 13)
- Paquet indisponible
-
- adep:
dh-ocaml
(>= 1.2)
- assistants pour l’entretien des paquets de Debian relatifs à OCaml
-
- adep:
gnuplot-nox
- programme de tracé interactif en ligne de commande - paquet sans X11
un paquet virtuel est également fourni par
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)
- générateur de code OCaml pour biniou et JSON — exécutable et fichiers de développement
-
- 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
- langage de programmation simple, extensible et embarquable
-
- adep:
menhir
- Parser generator for OCaml
-
- adep:
ocaml-dune
- système de construction modulable pour les projets en OCaml
-
- adep:
time
- programme GNU time pour mesurer l'utilisation des ressources CPU
