[ aramo ]
Paquet source : elpi (1.14.1-1)
Liens pour elpi
Ressources Trisquel :
Responsable :
Original Maintainers:
- Debian OCaml Maintainers (Archive du courrier électronique)
- Julien Puydt
Ressources externes :
- Page d'accueil [github.com]
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- elpi
- embeddable lambda-Prolog interpreter (tool)
- libelpi-ocaml
- embeddable lambda-Prolog interpreter (runtime files)
- libelpi-ocaml-dev
- embeddable lambda-Prolog interpreter (dev files)
Autres paquets associés à elpi
|
|
-
- adep: camlp5 (>= 8.00.02)
- Pre Processor Pretty Printer for OCaml - classical version
-
- adep: debhelper-compat (= 13)
- Paquet indisponible
-
- adep: dh-ocaml
- helper tools for maintaining OCaml-related Debian packages
-
- 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: ocaml-dune
- composable build system for OCaml projects
Download elpi
Fichier | Taille (en ko) | Somme MD5 |
---|---|---|
elpi_1.14.1-1.dsc | 2,1 ko | bcd99b6541c8a6ff0369e88d846ce06a |
elpi_1.14.1.orig.tar.gz | 1 507,9 ko | b01bd41c39ceac32d7f08040d5f7a02e |
elpi_1.14.1-1.debian.tar.xz | 4,0 ko | f6a4940b09b058547557f66f9ccabe31 |
- Dépôt Debian des paquets source (VCS: Git)
- https://salsa.debian.org/ocaml-team/elpi.git
- Dépôt Debian des paquets source (interface web)
- https://salsa.debian.org/ocaml-team/elpi