Debian 13 (Trixie) native package

libelpi-ocaml-dev

embeddable lambda-Prolog interpreter (dev files)

Packages / Debian 13 (Trixie) / ocaml / libelpi-ocaml-dev

[Source: elpi]

Package: libelpi-ocaml-dev

Maintainers:

Debian OCaml Maintainers

External Resources:

Homepage: [github.com]

Similar packages:

[elpi]
embeddable lambda-Prolog interpreter (tool)
[libelpi-ocaml]
embeddable lambda-Prolog interpreter (runtime files)

embeddable lambda-Prolog interpreter (dev files)

Nessun record pubblicato corrisponde a questo filtro di suite e architettura.

Percorsi file del pacchetto (381)

Showing the first 250 sorted package-associated paths. Use file search to locate a specific path.

/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/API.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/API.mli
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/builtin.elpi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/builtin_map.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/builtin.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/builtin.mli
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/builtin_set.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/builtin_stdlib.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/compiler_data.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/compiler.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/compiler.mli
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/determinacy_checker.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/determinacy_checker.mli
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler.a
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler.cmxa
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Compiler.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Compiler.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Compiler.cmti
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Compiler.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Compiler_data.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Compiler_data.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Compiler_data.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Determinacy_checker.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Determinacy_checker.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Determinacy_checker.cmti
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Determinacy_checker.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Type_checker.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Type_checker.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Type_checker.cmti
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Type_checker.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/type_checker.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/compiler/type_checker.mli
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/dune-package
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/elpi.a
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/elpi__API.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/elpi__API.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/elpi__API.cmti
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/elpi__API.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/elpi__Builtin.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/elpi__Builtin.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/elpi__Builtin.cmti
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/elpi__Builtin.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/elpi__Builtin_map.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/elpi__Builtin_set.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/elpi__Builtin_stdlib.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/elpi.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/elpi.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/elpi.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/elpi.cmxa
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/elpi.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config.a
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config.cmxa
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config__Tokens.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config__Tokens.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config__Tokens.cmti
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config__Tokens.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/lexer_config.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/tokens.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/tokens.mli
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/opam
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/ast.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/ast.mli
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser.a
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Ast.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Ast.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Ast.cmti
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Ast.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser.cmxa
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Error_messages.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Error_messages.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Error_messages.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Grammar.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Grammar.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Grammar.cmti
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Grammar.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Lexer.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Lexer.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Lexer.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Parse.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Parse.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Parse.cmti
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Parse.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Parser_config.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Parser_config.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Parser_config.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/error_messages.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/grammar.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/grammar.mli
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/lexer.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/parse.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/parse.mli
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/parser/parser_config.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/.private/elpi__Builtin_map.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/.private/elpi__Builtin_map.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/.private/elpi__Builtin_set.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/.private/elpi__Builtin_set.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/.private/elpi__Builtin_stdlib.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/.private/elpi__Builtin_stdlib.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/bl.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/bl.mli
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/data.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/discrimination_tree.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/discrimination_tree.mli
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime.a
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Bl.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Bl.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Bl.cmti
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Bl.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime.cmxa
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Data.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Data.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Data.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Discrimination_tree.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Discrimination_tree.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Discrimination_tree.cmti
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Discrimination_tree.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Ptmap.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Ptmap.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Ptmap.cmti
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Ptmap.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Runtime.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Runtime.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Runtime.cmti
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Runtime.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Runtime_trace_off.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Runtime_trace_off.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Runtime_trace_off.cmti
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Runtime_trace_off.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/ptmap.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/ptmap.mli
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/runtime.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/runtime.mli
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/runtime_trace_off.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/runtime/runtime_trace_off.mli
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace.atd
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace_atd.ts
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/ppx.exe
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/trace_ppx.a
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/trace_ppx.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/trace_ppx.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/trace_ppx.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/trace_ppx.cmxa
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/trace_ppx.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/runtime.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/runtime.mli
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime.a
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime.cmxa
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmti
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util.a
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util.cmxa
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util__Util.cmi
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util__Util.cmt
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util__Util.cmti
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util__Util.cmx
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/util/util.ml
/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/util/util.mli
/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_map.ml
/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_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_data.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/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__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.ml
/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__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/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/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__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.ml
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config__Tokens.cmi

Usa questo pacchetto

OpenFactory può avviare questo sistema operativo in una macchina virtuale del browser, o iniziare una costruzione che include il nome nativo del pacchetto di questo record.

Prova Debian 13 (Trixie) nel browser Crea un'immagine che include libelpi-ocaml-dev

Versioni, suite e repository

Ogni riga è metadato dell'indice pacchetti per una versione, architettura, suite e repository. Nomi, URL e dimensioni arrivano dalla fonte; un link è un punto di recupero mutabile, non una redistribuzione OpenFactory.

Nessun record pubblicato corrisponde a questo filtro di suite e architettura.

Checksum e date di osservazione

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

Completezza del record

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description: 25/25
Artifact path and source digest: 25/25
Dependency metadata: 15/15
Package-file index: 15/15
Homepage: 5/5
License text: 0/5
Source package or maintainer: 10/10

Recorded total: 95/100

Field source: Debian 13 (Trixie) main amd64 revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3, Debian 13 (Trixie) main arm64 revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Fonti e provenienza

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

Debian 13 (Trixie) main amd64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record
Signed object
https://deb.debian.org/debian/dists/trixie/InRelease
Signed-object SHA-256
98b25b5cd185c59d34aa6e4c3e9b5b8f01bbe9d104fe2dcfbcd30dc0a14a59ed
Signer fingerprint
4CB50190207B4758A3F73A796ED0E7B82643E131
Keyring revision
debian-archive-keyring.gpg
SHA-256 506b815cbb32d9b6066b4a2aa524071e071761e7e7f68c3ac74f3061ba852017
Tool and policy
gpgv (GnuPG) 2.4.9
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: main/binary-amd64/Packages.xz
Expected SHA-256: 3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
Observed SHA-256: 3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
Result: match verified
Debian 13 (Trixie) main arm64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record
Signed object
https://deb.debian.org/debian/dists/trixie/InRelease
Signed-object SHA-256
98b25b5cd185c59d34aa6e4c3e9b5b8f01bbe9d104fe2dcfbcd30dc0a14a59ed
Signer fingerprint
4CB50190207B4758A3F73A796ED0E7B82643E131
Keyring revision
debian-archive-keyring.gpg
SHA-256 506b815cbb32d9b6066b4a2aa524071e071761e7e7f68c3ac74f3061ba852017
Tool and policy
gpgv (GnuPG) 2.4.9
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: main/binary-arm64/Packages.xz
Expected SHA-256: 753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
Observed SHA-256: 753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
Result: match verified