libelpi-ocaml (2.0.7-3build3)

Details

Core information at a glance

Distribution
ubuntu
Origin
ubuntu-stonking
Repository
https://ports.ubuntu.com
Codename
stonking
Component
universe
Source
elpi
Architecture
arm64
Section
universe/ocaml
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
16.6 kB
Size expected
4.4 MB
Size actual
4.4 MB
Size match

Dependencies

Required package dependencies

  • libppx-deriving-ocaml-qtrp8
  • libsexplib0-ocaml-brq84
  • libstdlib-ocaml-kjuo1
  • ocaml-base-5.4.0

Suggested packages

Recommended additional packages

  • None

Description

embeddable lambda-Prolog interpreter (runtime files)

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5abe6bce5…457550f2
SHA-1a8d6c739…92cfb58a
SHA-25647b346cc…2ea1caec
SHA-5120e030d02…012026a9

Contents

Files and directories included

.
usr
usr/lib
usr/lib/aarch64-linux-gnu
usr/lib/aarch64-linux-gnu/ocaml
usr/lib/aarch64-linux-gnu/ocaml/5.4.0
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/META
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/compiler
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler.cma
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler.cmxs
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/elpi.cma
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/elpi.cmxs
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/lexer_config
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config.cma
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config.cmxs
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/parser
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser.cma
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser.cmxs
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/runtime
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime.cma
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime.cmxs
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/trace
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/trace_ppx.cma
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/trace_ppx.cmxs
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.cma
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.cmxs
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/util
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.cma
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.cmxs
usr/share
usr/share/doc
usr/share/doc/libelpi-ocaml
usr/share/doc/libelpi-ocaml/changelog.Debian.gz
usr/share/doc/libelpi-ocaml/copyright