Package - libelpi-ocaml-dev
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)| Property | Value |
|---|---|
| Package | libelpi-ocaml-dev |
| Source | elpi (2.0.7-1) |
| Version | 2.0.7-1+b1 |
| Installed-Size | 38362 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libelpi-ocaml-dev-zfj86 |
| Depends | libcompiler-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) |
| Recommends | ocaml-findlib |
| Description | embeddable lambda-Prolog interpreter (dev files) |
| Description-md5 | 49bf6aafd855780cf45d3137d68832dc |
| Homepage | https://github.com/LPCIC/elpi |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/e/elpi/libelpi-ocaml-dev_2.0.7-1+b1_amd64.deb |
| Size | 15281784 |
| MD5sum | 0204fb6dd7c1a5f166dc76b7657397b9 |
| SHA256 | ffa37f426e92d2877409060d54748ab9c918d31328f889d97199d1bcb82ffbb8 |
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