Package - libelpi-ocaml-dev

Package:  libelpi-ocaml-dev
apt-get install libelpi-ocaml-dev
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/e/elpi/libelpi-ocaml-dev_2.0.7-1+b1_amd64.deb (Size: 14.6MiB)

PropertyValue
Packagelibelpi-ocaml-dev
Sourceelpi (2.0.7-1)
Version2.0.7-1+b1
Installed-Size38362
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibelpi-ocaml-dev-zfj86
Dependslibcompiler-libs-ocaml-dev-4b6d0, libelpi-ocaml-zfj86, libmenhir-ocaml-dev-cjjw4, libocaml-compiler-libs-ocaml-dev-cv331, libppx-deriving-ocaml-dev-kejh4, libppxlib-ocaml-dev-uon82, libre-ocaml-dev-xtyr4, libsexplib0-ocaml-dev-yj523, libstdlib-ocaml-dev-m4xw9, ocaml-5.3.0, libc6 (>= 2.38), libzstd1 (>= 1.5.5)
Recommendsocaml-findlib
Descriptionembeddable lambda-Prolog interpreter (dev files)
Description-md549bf6aafd855780cf45d3137d68832dc
Homepagehttps://github.com/LPCIC/elpi
Sectionocaml
Priorityoptional
Filenamepool/main/e/elpi/libelpi-ocaml-dev_2.0.7-1+b1_amd64.deb
Size15281784
MD5sum0204fb6dd7c1a5f166dc76b7657397b9
SHA256ffa37f426e92d2877409060d54748ab9c918d31328f889d97199d1bcb82ffbb8

Files in package

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