Debian 12 (Bookworm) native package

libelpi-ocaml-dev

embeddable lambda-Prolog interpreter (dev files)

Packages / Debian 12 (Bookworm) / ocaml / libelpi-ocaml-dev

[Source: elpi]

Package: libelpi-ocaml-dev (1.16.8-1+b2)

[Project overview: elpi]

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: libelpi-ocaml-uc3b1
Package not available
dep: libmenhir-ocaml-dev-dyfe5
Package not available
dep: libocaml-compiler-libs-ocaml-dev-onqw0
Package not available
dep: libppx-deriving-ocaml-dev-3ba35
Package not available
dep: libppxlib-ocaml-dev-3kac3
Package not available
dep: libre-ocaml-dev-x1xl9
Package not available
dep: libsexplib0-ocaml-dev-dj6s4
Package not available
dep: ocaml-4.13.1
Package not available
dep: [libc6] (>= 2.35)
GNU C Library: Shared libraries

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

Download libelpi-ocaml-dev

Architecture	Package Size	Installed Size	Files
amd64	9.9 MiB	54 MiB	[list of files]
arm64	10 MiB	56 MiB	[list of files]

Rutas de archivos del paquete (171)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

/usr/lib/ocaml/elpi/API.ml
/usr/lib/ocaml/elpi/API.mli
/usr/lib/ocaml/elpi/builtin_checker.ml
/usr/lib/ocaml/elpi/builtin.elpi
/usr/lib/ocaml/elpi/builtin_map.ml
/usr/lib/ocaml/elpi/builtin.ml
/usr/lib/ocaml/elpi/builtin.mli
/usr/lib/ocaml/elpi/builtin_set.ml
/usr/lib/ocaml/elpi/builtin_stdlib.ml
/usr/lib/ocaml/elpi/compiler.ml
/usr/lib/ocaml/elpi/compiler.mli
/usr/lib/ocaml/elpi/data.ml
/usr/lib/ocaml/elpi/dune-package
/usr/lib/ocaml/elpi/elpi2html.elpi
/usr/lib/ocaml/elpi/elpi.a
/usr/lib/ocaml/elpi/elpi__API.cmi
/usr/lib/ocaml/elpi/elpi__API.cmt
/usr/lib/ocaml/elpi/elpi__API.cmti
/usr/lib/ocaml/elpi/elpi__API.cmx
/usr/lib/ocaml/elpi/elpi__Builtin_checker.cmi
/usr/lib/ocaml/elpi/elpi__Builtin_checker.cmt
/usr/lib/ocaml/elpi/elpi__Builtin_checker.cmx
/usr/lib/ocaml/elpi/elpi__Builtin.cmi
/usr/lib/ocaml/elpi/elpi__Builtin.cmt
/usr/lib/ocaml/elpi/elpi__Builtin.cmti
/usr/lib/ocaml/elpi/elpi__Builtin.cmx
/usr/lib/ocaml/elpi/elpi__Builtin_map.cmx
/usr/lib/ocaml/elpi/elpi__Builtin_set.cmx
/usr/lib/ocaml/elpi/elpi__Builtin_stdlib.cmx
/usr/lib/ocaml/elpi/elpi.cmi
/usr/lib/ocaml/elpi/elpi__.cmi
/usr/lib/ocaml/elpi/elpi.cmt
/usr/lib/ocaml/elpi/elpi__.cmt
/usr/lib/ocaml/elpi/elpi.cmx
/usr/lib/ocaml/elpi/elpi__.cmx
/usr/lib/ocaml/elpi/elpi.cmxa
/usr/lib/ocaml/elpi/elpi__Compiler.cmx
/usr/lib/ocaml/elpi/elpi__Data.cmx
/usr/lib/ocaml/elpi/elpi__Legacy_parser_proxy.cmx
/usr/lib/ocaml/elpi/elpi.ml
/usr/lib/ocaml/elpi/elpi__.ml
/usr/lib/ocaml/elpi/elpi__Ptmap.cmx
/usr/lib/ocaml/elpi/elpi-quoted_syntax.elpi
/usr/lib/ocaml/elpi/elpi__Runtime.cmx
/usr/lib/ocaml/elpi/elpi__Runtime_trace_off.cmx
/usr/lib/ocaml/elpi/legacy_parser_proxy.ml
/usr/lib/ocaml/elpi/legacy_parser_proxy.mli
/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config.a
/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config.cmi
/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config.cmt
/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config.cmx
/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config.cmxa
/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmi
/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmt
/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmx
/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config.ml
/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config__Tokens.cmi
/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config__Tokens.cmt
/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config__Tokens.cmti
/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config__Tokens.cmx
/usr/lib/ocaml/elpi/lexer_config/lexer_config.ml
/usr/lib/ocaml/elpi/lexer_config/tokens.ml
/usr/lib/ocaml/elpi/lexer_config/tokens.mli
/usr/lib/ocaml/elpi/opam
/usr/lib/ocaml/elpi/parser/ast.ml
/usr/lib/ocaml/elpi/parser/ast.mli
/usr/lib/ocaml/elpi/parser/elpi_parser.a
/usr/lib/ocaml/elpi/parser/elpi_parser__Ast.cmi
/usr/lib/ocaml/elpi/parser/elpi_parser__Ast.cmt
/usr/lib/ocaml/elpi/parser/elpi_parser__Ast.cmti
/usr/lib/ocaml/elpi/parser/elpi_parser__Ast.cmx
/usr/lib/ocaml/elpi/parser/elpi_parser.cmi
/usr/lib/ocaml/elpi/parser/elpi_parser.cmt
/usr/lib/ocaml/elpi/parser/elpi_parser.cmx
/usr/lib/ocaml/elpi/parser/elpi_parser.cmxa
/usr/lib/ocaml/elpi/parser/elpi_parser__Error_messages.cmi
/usr/lib/ocaml/elpi/parser/elpi_parser__Error_messages.cmt
/usr/lib/ocaml/elpi/parser/elpi_parser__Error_messages.cmx
/usr/lib/ocaml/elpi/parser/elpi_parser__Grammar.cmi
/usr/lib/ocaml/elpi/parser/elpi_parser__Grammar.cmt
/usr/lib/ocaml/elpi/parser/elpi_parser__Grammar.cmti
/usr/lib/ocaml/elpi/parser/elpi_parser__Grammar.cmx
/usr/lib/ocaml/elpi/parser/elpi_parser__Lexer.cmi
/usr/lib/ocaml/elpi/parser/elpi_parser__Lexer.cmt
/usr/lib/ocaml/elpi/parser/elpi_parser__Lexer.cmx
/usr/lib/ocaml/elpi/parser/elpi_parser.ml
/usr/lib/ocaml/elpi/parser/elpi_parser__Parse.cmi
/usr/lib/ocaml/elpi/parser/elpi_parser__Parse.cmt
/usr/lib/ocaml/elpi/parser/elpi_parser__Parse.cmti
/usr/lib/ocaml/elpi/parser/elpi_parser__Parse.cmx
/usr/lib/ocaml/elpi/parser/elpi_parser__Parser_config.cmi
/usr/lib/ocaml/elpi/parser/elpi_parser__Parser_config.cmt
/usr/lib/ocaml/elpi/parser/elpi_parser__Parser_config.cmx
/usr/lib/ocaml/elpi/parser/error_messages.ml
/usr/lib/ocaml/elpi/parser/grammar.ml
/usr/lib/ocaml/elpi/parser/grammar.mli
/usr/lib/ocaml/elpi/parser/lexer.ml
/usr/lib/ocaml/elpi/parser/parse.ml
/usr/lib/ocaml/elpi/parser/parse.mli
/usr/lib/ocaml/elpi/parser/parser_config.ml
/usr/lib/ocaml/elpi/.private/elpi__Builtin_map.cmi
/usr/lib/ocaml/elpi/.private/elpi__Builtin_map.cmt
/usr/lib/ocaml/elpi/.private/elpi__Builtin_set.cmi
/usr/lib/ocaml/elpi/.private/elpi__Builtin_set.cmt
/usr/lib/ocaml/elpi/.private/elpi__Builtin_stdlib.cmi
/usr/lib/ocaml/elpi/.private/elpi__Builtin_stdlib.cmt
/usr/lib/ocaml/elpi/.private/elpi__Compiler.cmi
/usr/lib/ocaml/elpi/.private/elpi__Compiler.cmt
/usr/lib/ocaml/elpi/.private/elpi__Compiler.cmti
/usr/lib/ocaml/elpi/.private/elpi__Data.cmi
/usr/lib/ocaml/elpi/.private/elpi__Data.cmt
/usr/lib/ocaml/elpi/.private/elpi__Legacy_parser_proxy.cmi
/usr/lib/ocaml/elpi/.private/elpi__Legacy_parser_proxy.cmt
/usr/lib/ocaml/elpi/.private/elpi__Legacy_parser_proxy.cmti
/usr/lib/ocaml/elpi/.private/elpi__Ptmap.cmi
/usr/lib/ocaml/elpi/.private/elpi__Ptmap.cmt
/usr/lib/ocaml/elpi/.private/elpi__Ptmap.cmti
/usr/lib/ocaml/elpi/.private/elpi__Runtime.cmi
/usr/lib/ocaml/elpi/.private/elpi__Runtime.cmt
/usr/lib/ocaml/elpi/.private/elpi__Runtime.cmti
/usr/lib/ocaml/elpi/.private/elpi__Runtime_trace_off.cmi
/usr/lib/ocaml/elpi/.private/elpi__Runtime_trace_off.cmt
/usr/lib/ocaml/elpi/.private/elpi__Runtime_trace_off.cmti
/usr/lib/ocaml/elpi/ptmap.ml
/usr/lib/ocaml/elpi/ptmap.mli
/usr/lib/ocaml/elpi/runtime.ml
/usr/lib/ocaml/elpi/runtime.mli
/usr/lib/ocaml/elpi/runtime_trace_off.ml
/usr/lib/ocaml/elpi/runtime_trace_off.mli
/usr/lib/ocaml/elpi/trace.atd
/usr/lib/ocaml/elpi/trace_atd.ts
/usr/lib/ocaml/elpi/trace/ppx/ppx.exe
/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.a
/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmi
/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmt
/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmx
/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmxa
/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.ml
/usr/lib/ocaml/elpi/trace/runtime/runtime.ml
/usr/lib/ocaml/elpi/trace/runtime/runtime.mli
/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.a
/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmi
/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmt
/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmx
/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmxa
/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.ml
/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmi
/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmt
/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmti
/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmx
/usr/lib/ocaml/elpi/util/elpi_util.a
/usr/lib/ocaml/elpi/util/elpi_util.cmi
/usr/lib/ocaml/elpi/util/elpi_util.cmt
/usr/lib/ocaml/elpi/util/elpi_util.cmx
/usr/lib/ocaml/elpi/util/elpi_util.cmxa
/usr/lib/ocaml/elpi/util/elpi_util.ml
/usr/lib/ocaml/elpi/util/elpi_util__Util.cmi
/usr/lib/ocaml/elpi/util/elpi_util__Util.cmt
/usr/lib/ocaml/elpi/util/elpi_util__Util.cmti
/usr/lib/ocaml/elpi/util/elpi_util__Util.cmx
/usr/lib/ocaml/elpi/util/util.ml
/usr/lib/ocaml/elpi/util/util.mli
/usr/share/doc/libelpi-ocaml-dev/changelog.Debian.amd64.gz
/usr/share/doc/libelpi-ocaml-dev/changelog.Debian.arm64.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
/usr/share/doc/libelpi-ocaml-dev/README.md.gz
/var/lib/ocaml/lintian/libelpi-ocaml-dev.info
/var/lib/ocaml/lintian/libelpi-ocaml-dev.META.elpi
/var/lib/ocaml/md5sums/libelpi-ocaml-dev.md5sums

Field source: Debian 12 (Bookworm) main amd64 revision bookworm-main-amd64:9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5

Usar este paquete

OpenFactory puede arrancar este sistema operativo en una máquina virtual del navegador, o iniciar una construcción que incluye el nombre nativo del paquete de este registro.

Probar Debian 12 (Bookworm) en el navegador Construir una imagen que incluye libelpi-ocaml-dev

Versiones, suites y repositorios

Cada fila es metadato del índice de paquetes para una versión, arquitectura, suite y repositorio. Nombres, URL y tamaños vienen de la fuente; un enlace es un punto de descarga que puede cambiar, no una redistribución de OpenFactory.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
1.16.8-1+b2	bookworm / main	amd64	Debian 12 · main · amd64	9.9 MiB	54 MiB	pool/main/e/elpi/libelpi-ocaml-dev_1.16.8-1+b2_amd64.deb
1.16.8-1+b2	bookworm / main	arm64	Debian 12 · main · arm64	10 MiB	56 MiB	pool/main/e/elpi/libelpi-ocaml-dev_1.16.8-1+b2_arm64.deb

Field source: Debian 12 (Bookworm) main amd64 revision bookworm-main-amd64:9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5

Sumas de comprobación y fechas de observación

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.

1.16.8-1+b2 / 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: e4d301c7e53632350371e67d21086182792e146c6e142096a69974cd2a4c7820

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

printf '%s  %s\n' 'e4d301c7e53632350371e67d21086182792e146c6e142096a69974cd2a4c7820' 'libelpi-ocaml-dev_1.16.8-1+b2_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 12 (Bookworm) main amd64 revision bookworm-main-amd64:9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5

1.16.8-1+b2 / 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: d9c02e030cba5e0d98d9c448ec253d7a28043e5d1c09361c195197455df0f27d

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

printf '%s  %s\n' 'd9c02e030cba5e0d98d9c448ec253d7a28043e5d1c09361c195197455df0f27d' 'libelpi-ocaml-dev_1.16.8-1+b2_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 12 (Bookworm) main arm64 revision bookworm-main-arm64:2ddb1737692e8c45c53e8d57c0ce4cd21c78c5703b830c3226b1423566a06c00

Completitud del registro

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 12 (Bookworm) main amd64 revision bookworm-main-amd64:9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5, Debian 12 (Bookworm) main arm64 revision bookworm-main-arm64:2ddb1737692e8c45c53e8d57c0ce4cd21c78c5703b830c3226b1423566a06c00. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Fuentes y procedencia

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 12 (Bookworm) main amd64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision bookworm-main-amd64:9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5
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/bookworm/InRelease
Signed-object SHA-256
77737fa4b34f2693e982cc9ee35736816c35a7778fc2d326cc1bbf5b301fe1aa
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: 9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5
Observed SHA-256: 9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5
Result: match verified
Debian 12 (Bookworm) main arm64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision bookworm-main-arm64:2ddb1737692e8c45c53e8d57c0ce4cd21c78c5703b830c3226b1423566a06c00
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/bookworm/InRelease
Signed-object SHA-256
77737fa4b34f2693e982cc9ee35736816c35a7778fc2d326cc1bbf5b301fe1aa
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: 2ddb1737692e8c45c53e8d57c0ce4cd21c78c5703b830c3226b1423566a06c00
Observed SHA-256: 2ddb1737692e8c45c53e8d57c0ce4cd21c78c5703b830c3226b1423566a06c00
Result: match verified