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 (2.0.7-1+b1)

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)

Other Packages Related to libelpi-ocaml-dev:

dep: libcompiler-libs-ocaml-dev-4b6d0
Package not available
dep: libelpi-ocaml-zfj86
Package not available
dep: libmenhir-ocaml-dev-cjjw4
Package not available
dep: libocaml-compiler-libs-ocaml-dev-cv331
Package not available
dep: libppx-deriving-ocaml-dev-kejh4
Package not available
dep: libppxlib-ocaml-dev-uon82
Package not available
dep: libre-ocaml-dev-xtyr4
Package not available
dep: libsexplib0-ocaml-dev-yj523
Package not available
dep: libstdlib-ocaml-dev-m4xw9
Package not available
dep: ocaml-5.3.0
Package not available
dep: [libc6] (>= 2.38)
GNU C Library: Shared libraries
dep: [libzstd1] (>= 1.5.5)
fast lossless compression algorithm

rec: [ocaml-findlib]
management tool for OCaml libraries

Download libelpi-ocaml-dev

Architecture	Package Size	Installed Size	Files
amd64	15 MiB	37 MiB	[list of files]
arm64	15 MiB	40 MiB	[list of files]

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

Field source: Debian 13 (Trixie) main amd64 revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3

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.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
2.0.7-1+b1	trixie / main	amd64	Debian 13 · main · amd64	15 MiB	37 MiB	pool/main/e/elpi/libelpi-ocaml-dev_2.0.7-1+b1_amd64.deb
2.0.7-1+b1	trixie / main	arm64	Debian 13 · main · arm64	15 MiB	40 MiB	pool/main/e/elpi/libelpi-ocaml-dev_2.0.7-1+b1_arm64.deb

Field source: Debian 13 (Trixie) main amd64 revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3

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.

2.0.7-1+b1 / amd64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: ffa37f426e92d2877409060d54748ab9c918d31328f889d97199d1bcb82ffbb8

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' 'ffa37f426e92d2877409060d54748ab9c918d31328f889d97199d1bcb82ffbb8' 'libelpi-ocaml-dev_2.0.7-1+b1_amd64.deb' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Debian 13 (Trixie) main amd64 revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3

2.0.7-1+b1 / arm64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: 1cbaff4a3344fdc7be59a7a1ed489afa040f03ef8da716d477cbed8b4cf4a3a2

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' '1cbaff4a3344fdc7be59a7a1ed489afa040f03ef8da716d477cbed8b4cf4a3a2' 'libelpi-ocaml-dev_2.0.7-1+b1_arm64.deb' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Debian 13 (Trixie) main arm64 revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908

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