原始碼套件:elpi(3.3.1-1)
試製(Experimental)套件
警告:這個套件來自於 experimental 發行版。這表示它很有可能表現出不穩定或者出現 bug ,甚至是導致資料損失。請務必在使用之前查閱 changelog 以及其他潛在的文件。
本原始碼套件構建了以下這些二進位制包:
- 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 (>= 1.2)
- helper tools for maintaining OCaml-related Debian packages
-
- adep: git
- fast, scalable, distributed revision control system
-
- 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: libppx-optcomp-ocaml-dev
- optional compilation for OCaml (dev files)
-
- 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-native-compilers
- 套件暫時不可用
-
- adep: ocaml-dune
- composable build system for OCaml projects
-
- adep: time
- GNU time program for measuring CPU resource usage
-
- adep: yojson-tools
- JSON library for OCaml - tools
Download elpi
檔案 | 大小(單位:kB) | MD5 校驗碼 |
---|---|---|
elpi_3.3.1-1.dsc | 2。4 kB | b98dcb14c05b96549b6a1d7f1605f759 |
elpi_3.3.1.orig.tar.gz | 2,630。4 kB | 3bdfa428b975014e23743b681f9725d0 |
elpi_3.3.1-1.debian.tar.xz | 5。0 kB | 2c267fbfbcbf7a1c8b0d7035613cac02 |
- Debian 套件原始碼倉庫(VCS:Git)
- https://salsa.debian.org/ocaml-team/elpi.git
- Debian 套件原始碼倉庫(可線上瀏覽)
- https://salsa.debian.org/ocaml-team/elpi