源码包：elpi（1.16.8-1）
本源码包构建了以下这些二进制包：
- 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)
- Pre Processor Pretty Printer for OCaml - classical version
-
- adep: debhelper-compat (= 13)
- 软件包暂时不可用
-
- adep: dh-ocaml
- helper tools for maintaining OCaml-related Debian packages
-
- adep: gnuplot
- Command-line driven interactive plotting program.
同时作为一个虚包由这些包填实： gnuplot-nox, 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: 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
- Simple, extensible, embeddable programming language
-
- adep: menhir
- Parser generator for OCaml
-
- adep: ocaml-dune
- composable build system for OCaml projects
-
- adep: time
- GNU time program for measuring CPU resource usage
Download elpi
| 文件 | 大小（单位：kB） | MD5 校验码 |
|---|---|---|
| elpi_1.16.8-1.dsc | 2.4 kB | 8dd76c052a59ed9dfc9f087706ada4a4 |
| elpi_1.16.8.orig.tar.gz | 2,540.3 kB | 40d9346be40acb470af26eac7c7c31ac |
| elpi_1.16.8-1.debian.tar.xz | 4.0 kB | 0b1b961b3a513a8474589a6ea17b04bb |
- Debian 软件包源码仓库（VCS：Git）
- https://salsa.debian.org/ocaml-team/elpi.git
- Debian 软件包源码仓库（可在线浏览）
- https://salsa.debian.org/ocaml-team/elpi