libelpi-ocaml-dev (2.0.7-3build3)

Details

Core information at a glance

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

Size & integrity

Byte sizes and integrity verification

Installed size
66.5 kB
Size expected
15.5 MB
Size actual
15.5 MB
Size match

Dependencies

Required package dependencies

  • libcompiler-libs-ocaml-dev-q5yp7
  • libelpi-ocaml-xxb88
  • libmenhir-ocaml-dev-zqk95
  • libocaml-compiler-libs-ocaml-dev-zo0o8
  • libppx-deriving-ocaml-dev-32l17
  • libppxlib-ocaml-dev-id7b8
  • libre-ocaml-dev-f66b5
  • libsexplib0-ocaml-dev-brq84
  • libstdlib-ocaml-dev-kjuo1
  • ocaml-5.4.0
  • libc6 (>= 2.38)

Suggested packages

Recommended additional packages

  • None

Description

embeddable lambda-Prolog interpreter (dev files)

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD50e025b97…b6eb6b98
SHA-1a245f7b2…91c6ee20
SHA-2568fca1ed1…225be1f1
SHA-5126de2da56…a54a4893

Contents

Files and directories included

.
usr
usr/lib
usr/lib/x86_64-linux-gnu
usr/lib/x86_64-linux-gnu/ocaml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/.private
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/.private/elpi__Builtin_map.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/.private/elpi__Builtin_map.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/.private/elpi__Builtin_set.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/.private/elpi__Builtin_set.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/.private/elpi__Builtin_stdlib.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/.private/elpi__Builtin_stdlib.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/API.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/API.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/builtin.elpi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/builtin.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/builtin.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/builtin_map.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/builtin_set.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/builtin_stdlib.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/compiler.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/compiler.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/compiler_data.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/determinacy_checker.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/determinacy_checker.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler.a
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Compiler.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Compiler.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Compiler.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Compiler.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Compiler_data.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Compiler_data.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Compiler_data.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Determinacy_checker.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Determinacy_checker.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Determinacy_checker.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Determinacy_checker.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Type_checker.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Type_checker.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Type_checker.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Type_checker.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/type_checker.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/type_checker.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/dune-package
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi.a
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__API.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__API.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__API.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__API.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__Builtin.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__Builtin.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__Builtin.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__Builtin.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__Builtin_map.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__Builtin_set.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__Builtin_stdlib.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config.a
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config__Tokens.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config__Tokens.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config__Tokens.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config__Tokens.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/lexer_config.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/tokens.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/tokens.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/opam
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/ast.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/ast.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser.a
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Ast.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Ast.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Ast.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Ast.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Error_messages.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Error_messages.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Error_messages.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Grammar.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Grammar.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Grammar.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Grammar.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Lexer.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Lexer.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Lexer.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Parse.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Parse.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Parse.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Parse.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Parser_config.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Parser_config.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Parser_config.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/error_messages.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/grammar.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/grammar.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/lexer.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/parse.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/parse.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/parser_config.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/bl.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/bl.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/data.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/discrimination_tree.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/discrimination_tree.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime.a
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Bl.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Bl.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Bl.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Bl.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Data.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Data.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Data.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Discrimination_tree.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Discrimination_tree.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Discrimination_tree.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Discrimination_tree.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Ptmap.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Ptmap.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Ptmap.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Ptmap.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Runtime.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Runtime.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Runtime.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Runtime.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Runtime_trace_off.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Runtime_trace_off.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Runtime_trace_off.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Runtime_trace_off.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/ptmap.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/ptmap.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/runtime.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/runtime.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/runtime_trace_off.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/runtime_trace_off.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/ppx.exe
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/trace_ppx.a
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/trace_ppx.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/trace_ppx.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/trace_ppx.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/trace_ppx.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/trace_ppx.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/runtime.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/runtime.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.a
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace.atd
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace_atd.ts
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.a
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util__Util.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util__Util.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util__Util.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util__Util.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/util.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/util.mli
usr/share
usr/share/doc
usr/share/doc/libelpi-ocaml-dev
usr/share/doc/libelpi-ocaml-dev/CHANGES.md.gz
usr/share/doc/libelpi-ocaml-dev/README.md.gz
usr/share/doc/libelpi-ocaml-dev/changelog.Debian.gz
usr/share/doc/libelpi-ocaml-dev/copyright
var
var/lib
var/lib/ocaml
var/lib/ocaml/lintian
var/lib/ocaml/lintian/libelpi-ocaml-dev.META.elpi
var/lib/ocaml/lintian/libelpi-ocaml-dev.info
var/lib/ocaml/md5sums
var/lib/ocaml/md5sums/libelpi-ocaml-dev.md5sums