ソースパッケージ: elpi (2.0.7-3)
以下のバイナリパッケージがこのソースパッケージからビルドされています。
- 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: atdts (>= 2.9.1)
- OCaml code generator for TypeScript
-
- adep: camlp5 (>= 8.00.02)
- OCamlのプリプロセッサ・プリティプリンタ - 古典的なバージョン
-
- adep: debhelper-compat (= 13)
- パッケージは利用できません
-
- adep: dh-ocaml (>= 1.2)
- helper tools for maintaining OCaml-related Debian packages
-
- adep: git
- 速く、スケーラブルな分散型リビジョン管理システム
-
- adep: gnuplot-nox
- Command-line driven interactive plotting program. No-X package
以下のパッケージによって提供される仮想パッケージでもあります: 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: libfileutils-ocaml-dev
- File manipulation for OCaml
-
- 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 (>= 0.36.0)
- meta-programming for OCaml
-
- adep: libre-ocaml-dev
- regular expression library for OCaml
-
- adep: lua5.1
- シンプルで、拡張可能な組込み用プログラミング言語
-
- adep: menhir
- Parser generator for OCaml
-
- adep: ocaml-native-compilers
- パッケージは利用できません
-
- adep: ocaml-dune
- composable build system for OCaml projects
-
- adep: time
- GNU time - CPU リソース使用率計測プログラム
-
- adep: yojson-tools
- JSON library for OCaml - tools
Download elpi
| ファイル | サイズ (単位: kB) | MD5 チェックサム |
|---|---|---|
| elpi_2.0.7-3.dsc | 2.2 kB | f429c99ed28073f2e66798869159855f |
| elpi_2.0.7.orig.tar.gz | 2,580.6 kB | af1ea7c67d8e5e5bd242d9fbfe733686 |
| elpi_2.0.7-3.debian.tar.xz | 6.1 kB | 05fbc839bf2b02cedb8c3bf0429e7a86 |
- Debian パッケージソースリポジトリ (VCS: Git)
- https://salsa.debian.org/ocaml-team/elpi.git
- Debian パッケージソースリポジトリ (ブラウザで表示可能)
- https://salsa.debian.org/ocaml-team/elpi