Package - libelpi-ocaml
Primary informations
Download package: http://deb.debian.org/debian/pool/main/e/elpi/libelpi-ocaml_2.0.7-1+b1_amd64.deb (Size: 3.7MiB)| Property | Value |
|---|---|
| Package | libelpi-ocaml |
| Source | elpi (2.0.7-1) |
| Version | 2.0.7-1+b1 |
| Installed-Size | 9573 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libelpi-ocaml-zfj86 |
| Depends | libppx-deriving-ocaml-kejh4, libsexplib0-ocaml-yj523, libstdlib-ocaml-m4xw9, ocaml-base-5.3.0 |
| Recommends | ocaml-findlib |
| Description | embeddable lambda-Prolog interpreter (runtime files) |
| Description-md5 | 0a4257b4ca0c21955588fd0e34cff492 |
| Homepage | https://github.com/LPCIC/elpi |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/e/elpi/libelpi-ocaml_2.0.7-1+b1_amd64.deb |
| Size | 3886812 |
| MD5sum | 234a7e3d5c884a8e47ef5651563257db |
| SHA256 | 596bf8d1f7783b61c881c63fee9f6d5c20b9acff825f4104ae5b78a311df14e9 |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/META
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler.cma
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi.cma
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config.cma
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser.cma
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime.cma
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/trace_ppx.cma
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/trace_ppx.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime.cma
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util.cma
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util.cmxs
- /usr/share/doc/libelpi-ocaml/changelog.Debian.amd64.gz
- /usr/share/doc/libelpi-ocaml/changelog.Debian.gz
- /usr/share/doc/libelpi-ocaml/changelog.gz
- /usr/share/doc/libelpi-ocaml/copyright