[ aramo ]
ソースパッケージ: elpi (1.14.1-1)
elpi に関するリンク
Trisquel の資源:
メンテナ:
Original Maintainers:
- Debian OCaml Maintainers (メールアーカイブ)
- Julien Puydt
外部の資源:
- ホームページ [github.com]
以下のバイナリパッケージがこのソースパッケージからビルドされています。
- elpi
- embeddable lambda-Prolog interpreter (tool)
- libelpi-ocaml
- embeddable lambda-Prolog interpreter (runtime files)
- libelpi-ocaml-dev
- embeddable lambda-Prolog interpreter (dev files)
その他の elpi 関連パッケージ
|
|
-
- adep: camlp5 (>= 8.00.02)
- Pre Processor Pretty Printer for OCaml - classical version
-
- adep: debhelper-compat (= 13)
- パッケージは利用できません
-
- 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
| ファイル | サイズ (単位: kB) | MD5 チェックサム |
|---|---|---|
| elpi_1.14.1-1.dsc | 2.1 kB | bcd99b6541c8a6ff0369e88d846ce06a |
| elpi_1.14.1.orig.tar.gz | 1,507.9 kB | b01bd41c39ceac32d7f08040d5f7a02e |
| elpi_1.14.1-1.debian.tar.xz | 4.0 kB | f6a4940b09b058547557f66f9ccabe31 |
- Debian パッケージソースリポジトリ (VCS: Git)
- https://salsa.debian.org/ocaml-team/elpi.git
- Debian パッケージソースリポジトリ (ブラウザで表示可能)
- https://salsa.debian.org/ocaml-team/elpi