Debian 12 (Bookworm) native package

libcoq-core-ocaml-dev

development libraries and tools for Coq

Packages / Debian 12 (Bookworm) / ocaml / libcoq-core-ocaml-dev

[Source: coq]

Package: libcoq-core-ocaml-dev (8.16.1+dfsg-1+b2)

Maintainers:

Debian OCaml Maintainers

External Resources:

Homepage: [coq.inria.fr]

Similar packages:

[coq]
proof assistant for higher-order logic (toplevel and compiler)
[coqide]
proof assistant for higher-order logic (gtk interface)
[libcoq-core-ocaml]
runtime libraries for Coq
[libcoq-stdlib]
proof assistant for higher-order logic (theories)

development libraries and tools for Coq

Other Packages Related to libcoq-core-ocaml-dev:

dep: [coq] (= 8.16.1+dfsg-1+b2)
proof assistant for higher-order logic (toplevel and compiler)
dep: libcoq-core-ocaml-cpf60
Package not available
dep: libfindlib-ocaml-dev-0thr1
Package not available
dep: libzarith-ocaml-dev-4dps0
Package not available
dep: ocaml-4.13.1
Package not available

Download libcoq-core-ocaml-dev

Architecture	Package Size	Installed Size	Files
amd64	41 MiB	182 MiB	[list of files]
arm64	41 MiB	186 MiB	[list of files]

Rutas de archivos del paquete (2,860)

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

/usr/lib/ocaml/coq-core/boot/boot.a
/usr/lib/ocaml/coq-core/boot/boot.cmi
/usr/lib/ocaml/coq-core/boot/boot.cmt
/usr/lib/ocaml/coq-core/boot/boot.cmx
/usr/lib/ocaml/coq-core/boot/boot.cmxa
/usr/lib/ocaml/coq-core/boot/boot__Env.cmi
/usr/lib/ocaml/coq-core/boot/boot__Env.cmt
/usr/lib/ocaml/coq-core/boot/boot__Env.cmti
/usr/lib/ocaml/coq-core/boot/boot__Env.cmx
/usr/lib/ocaml/coq-core/boot/boot.ml
/usr/lib/ocaml/coq-core/boot/boot__Path.cmi
/usr/lib/ocaml/coq-core/boot/boot__Path.cmt
/usr/lib/ocaml/coq-core/boot/boot__Path.cmx
/usr/lib/ocaml/coq-core/boot/boot__Usage.cmi
/usr/lib/ocaml/coq-core/boot/boot__Usage.cmt
/usr/lib/ocaml/coq-core/boot/boot__Usage.cmti
/usr/lib/ocaml/coq-core/boot/boot__Usage.cmx
/usr/lib/ocaml/coq-core/boot/boot__Util.cmi
/usr/lib/ocaml/coq-core/boot/boot__Util.cmt
/usr/lib/ocaml/coq-core/boot/boot__Util.cmx
/usr/lib/ocaml/coq-core/boot/env.ml
/usr/lib/ocaml/coq-core/boot/env.mli
/usr/lib/ocaml/coq-core/boot/path.ml
/usr/lib/ocaml/coq-core/boot/usage.ml
/usr/lib/ocaml/coq-core/boot/usage.mli
/usr/lib/ocaml/coq-core/boot/util.ml
/usr/lib/ocaml/coq-core/clib/cArray.cmi
/usr/lib/ocaml/coq-core/clib/cArray.cmt
/usr/lib/ocaml/coq-core/clib/cArray.cmti
/usr/lib/ocaml/coq-core/clib/cArray.cmx
/usr/lib/ocaml/coq-core/clib/cArray.ml
/usr/lib/ocaml/coq-core/clib/cArray.mli
/usr/lib/ocaml/coq-core/clib/cEphemeron.cmi
/usr/lib/ocaml/coq-core/clib/cEphemeron.cmt
/usr/lib/ocaml/coq-core/clib/cEphemeron.cmti
/usr/lib/ocaml/coq-core/clib/cEphemeron.cmx
/usr/lib/ocaml/coq-core/clib/cEphemeron.ml
/usr/lib/ocaml/coq-core/clib/cEphemeron.mli
/usr/lib/ocaml/coq-core/clib/clib.a
/usr/lib/ocaml/coq-core/clib/clib.cmxa
/usr/lib/ocaml/coq-core/clib/cList.cmi
/usr/lib/ocaml/coq-core/clib/cList.cmt
/usr/lib/ocaml/coq-core/clib/cList.cmti
/usr/lib/ocaml/coq-core/clib/cList.cmx
/usr/lib/ocaml/coq-core/clib/cList.ml
/usr/lib/ocaml/coq-core/clib/cList.mli
/usr/lib/ocaml/coq-core/clib/cMap.cmi
/usr/lib/ocaml/coq-core/clib/cMap.cmt
/usr/lib/ocaml/coq-core/clib/cMap.cmti
/usr/lib/ocaml/coq-core/clib/cMap.cmx
/usr/lib/ocaml/coq-core/clib/cMap.ml
/usr/lib/ocaml/coq-core/clib/cMap.mli
/usr/lib/ocaml/coq-core/clib/cObj.cmi
/usr/lib/ocaml/coq-core/clib/cObj.cmt
/usr/lib/ocaml/coq-core/clib/cObj.cmti
/usr/lib/ocaml/coq-core/clib/cObj.cmx
/usr/lib/ocaml/coq-core/clib/cObj.ml
/usr/lib/ocaml/coq-core/clib/cObj.mli
/usr/lib/ocaml/coq-core/clib/cSet.cmi
/usr/lib/ocaml/coq-core/clib/cSet.cmt
/usr/lib/ocaml/coq-core/clib/cSet.cmti
/usr/lib/ocaml/coq-core/clib/cSet.cmx
/usr/lib/ocaml/coq-core/clib/cSet.ml
/usr/lib/ocaml/coq-core/clib/cSet.mli
/usr/lib/ocaml/coq-core/clib/cSig.cmi
/usr/lib/ocaml/coq-core/clib/cSig.cmti
/usr/lib/ocaml/coq-core/clib/cSig.mli
/usr/lib/ocaml/coq-core/clib/cString.cmi
/usr/lib/ocaml/coq-core/clib/cString.cmt
/usr/lib/ocaml/coq-core/clib/cString.cmti
/usr/lib/ocaml/coq-core/clib/cString.cmx
/usr/lib/ocaml/coq-core/clib/cString.ml
/usr/lib/ocaml/coq-core/clib/cString.mli
/usr/lib/ocaml/coq-core/clib/cThread.cmi
/usr/lib/ocaml/coq-core/clib/cThread.cmt
/usr/lib/ocaml/coq-core/clib/cThread.cmti
/usr/lib/ocaml/coq-core/clib/cThread.cmx
/usr/lib/ocaml/coq-core/clib/cThread.ml
/usr/lib/ocaml/coq-core/clib/cThread.mli
/usr/lib/ocaml/coq-core/clib/cUnix.cmi
/usr/lib/ocaml/coq-core/clib/cUnix.cmt
/usr/lib/ocaml/coq-core/clib/cUnix.cmti
/usr/lib/ocaml/coq-core/clib/cUnix.cmx
/usr/lib/ocaml/coq-core/clib/cUnix.ml
/usr/lib/ocaml/coq-core/clib/cUnix.mli
/usr/lib/ocaml/coq-core/clib/diff2.cmi
/usr/lib/ocaml/coq-core/clib/diff2.cmt
/usr/lib/ocaml/coq-core/clib/diff2.cmti
/usr/lib/ocaml/coq-core/clib/diff2.cmx
/usr/lib/ocaml/coq-core/clib/diff2.ml
/usr/lib/ocaml/coq-core/clib/diff2.mli
/usr/lib/ocaml/coq-core/clib/dyn.cmi
/usr/lib/ocaml/coq-core/clib/dyn.cmt
/usr/lib/ocaml/coq-core/clib/dyn.cmti
/usr/lib/ocaml/coq-core/clib/dyn.cmx
/usr/lib/ocaml/coq-core/clib/dyn.ml
/usr/lib/ocaml/coq-core/clib/dyn.mli
/usr/lib/ocaml/coq-core/clib/exninfo.cmi
/usr/lib/ocaml/coq-core/clib/exninfo.cmt
/usr/lib/ocaml/coq-core/clib/exninfo.cmti
/usr/lib/ocaml/coq-core/clib/exninfo.cmx
/usr/lib/ocaml/coq-core/clib/exninfo.ml
/usr/lib/ocaml/coq-core/clib/exninfo.mli
/usr/lib/ocaml/coq-core/clib/hashcons.cmi
/usr/lib/ocaml/coq-core/clib/hashcons.cmt
/usr/lib/ocaml/coq-core/clib/hashcons.cmti
/usr/lib/ocaml/coq-core/clib/hashcons.cmx
/usr/lib/ocaml/coq-core/clib/hashcons.ml
/usr/lib/ocaml/coq-core/clib/hashcons.mli
/usr/lib/ocaml/coq-core/clib/hashset.cmi
/usr/lib/ocaml/coq-core/clib/hashset.cmt
/usr/lib/ocaml/coq-core/clib/hashset.cmti
/usr/lib/ocaml/coq-core/clib/hashset.cmx
/usr/lib/ocaml/coq-core/clib/hashset.ml
/usr/lib/ocaml/coq-core/clib/hashset.mli
/usr/lib/ocaml/coq-core/clib/heap.cmi
/usr/lib/ocaml/coq-core/clib/heap.cmt
/usr/lib/ocaml/coq-core/clib/heap.cmti
/usr/lib/ocaml/coq-core/clib/heap.cmx
/usr/lib/ocaml/coq-core/clib/heap.ml
/usr/lib/ocaml/coq-core/clib/heap.mli
/usr/lib/ocaml/coq-core/clib/hMap.cmi
/usr/lib/ocaml/coq-core/clib/hMap.cmt
/usr/lib/ocaml/coq-core/clib/hMap.cmti
/usr/lib/ocaml/coq-core/clib/hMap.cmx
/usr/lib/ocaml/coq-core/clib/hMap.ml
/usr/lib/ocaml/coq-core/clib/hMap.mli
/usr/lib/ocaml/coq-core/clib/int.cmi
/usr/lib/ocaml/coq-core/clib/int.cmt
/usr/lib/ocaml/coq-core/clib/int.cmti
/usr/lib/ocaml/coq-core/clib/int.cmx
/usr/lib/ocaml/coq-core/clib/int.ml
/usr/lib/ocaml/coq-core/clib/int.mli
/usr/lib/ocaml/coq-core/clib/iStream.cmi
/usr/lib/ocaml/coq-core/clib/iStream.cmt
/usr/lib/ocaml/coq-core/clib/iStream.cmti
/usr/lib/ocaml/coq-core/clib/iStream.cmx
/usr/lib/ocaml/coq-core/clib/iStream.ml
/usr/lib/ocaml/coq-core/clib/iStream.mli
/usr/lib/ocaml/coq-core/clib/monad.cmi
/usr/lib/ocaml/coq-core/clib/monad.cmt
/usr/lib/ocaml/coq-core/clib/monad.cmti
/usr/lib/ocaml/coq-core/clib/monad.cmx
/usr/lib/ocaml/coq-core/clib/monad.ml
/usr/lib/ocaml/coq-core/clib/monad.mli
/usr/lib/ocaml/coq-core/clib/neList.cmi
/usr/lib/ocaml/coq-core/clib/neList.cmt
/usr/lib/ocaml/coq-core/clib/neList.cmti
/usr/lib/ocaml/coq-core/clib/neList.cmx
/usr/lib/ocaml/coq-core/clib/neList.ml
/usr/lib/ocaml/coq-core/clib/neList.mli
/usr/lib/ocaml/coq-core/clib/option.cmi
/usr/lib/ocaml/coq-core/clib/option.cmt
/usr/lib/ocaml/coq-core/clib/option.cmti
/usr/lib/ocaml/coq-core/clib/option.cmx
/usr/lib/ocaml/coq-core/clib/option.ml
/usr/lib/ocaml/coq-core/clib/option.mli
/usr/lib/ocaml/coq-core/clib/orderedType.cmi
/usr/lib/ocaml/coq-core/clib/orderedType.cmt
/usr/lib/ocaml/coq-core/clib/orderedType.cmti
/usr/lib/ocaml/coq-core/clib/orderedType.cmx
/usr/lib/ocaml/coq-core/clib/orderedType.ml
/usr/lib/ocaml/coq-core/clib/orderedType.mli
/usr/lib/ocaml/coq-core/clib/predicate.cmi
/usr/lib/ocaml/coq-core/clib/predicate.cmt
/usr/lib/ocaml/coq-core/clib/predicate.cmti
/usr/lib/ocaml/coq-core/clib/predicate.cmx
/usr/lib/ocaml/coq-core/clib/predicate.ml
/usr/lib/ocaml/coq-core/clib/predicate.mli
/usr/lib/ocaml/coq-core/clib/range.cmi
/usr/lib/ocaml/coq-core/clib/range.cmt
/usr/lib/ocaml/coq-core/clib/range.cmti
/usr/lib/ocaml/coq-core/clib/range.cmx
/usr/lib/ocaml/coq-core/clib/range.ml
/usr/lib/ocaml/coq-core/clib/range.mli
/usr/lib/ocaml/coq-core/clib/segmenttree.cmi
/usr/lib/ocaml/coq-core/clib/segmenttree.cmt
/usr/lib/ocaml/coq-core/clib/segmenttree.cmti
/usr/lib/ocaml/coq-core/clib/segmenttree.cmx
/usr/lib/ocaml/coq-core/clib/segmenttree.ml
/usr/lib/ocaml/coq-core/clib/segmenttree.mli
/usr/lib/ocaml/coq-core/clib/store.cmi
/usr/lib/ocaml/coq-core/clib/store.cmt
/usr/lib/ocaml/coq-core/clib/store.cmti
/usr/lib/ocaml/coq-core/clib/store.cmx
/usr/lib/ocaml/coq-core/clib/store.ml
/usr/lib/ocaml/coq-core/clib/store.mli
/usr/lib/ocaml/coq-core/clib/terminal.cmi
/usr/lib/ocaml/coq-core/clib/terminal.cmt
/usr/lib/ocaml/coq-core/clib/terminal.cmti
/usr/lib/ocaml/coq-core/clib/terminal.cmx
/usr/lib/ocaml/coq-core/clib/terminal.ml
/usr/lib/ocaml/coq-core/clib/terminal.mli
/usr/lib/ocaml/coq-core/clib/trie.cmi
/usr/lib/ocaml/coq-core/clib/trie.cmt
/usr/lib/ocaml/coq-core/clib/trie.cmti
/usr/lib/ocaml/coq-core/clib/trie.cmx
/usr/lib/ocaml/coq-core/clib/trie.ml
/usr/lib/ocaml/coq-core/clib/trie.mli
/usr/lib/ocaml/coq-core/clib/unicode.cmi
/usr/lib/ocaml/coq-core/clib/unicode.cmt
/usr/lib/ocaml/coq-core/clib/unicode.cmti
/usr/lib/ocaml/coq-core/clib/unicode.cmx
/usr/lib/ocaml/coq-core/clib/unicode.ml
/usr/lib/ocaml/coq-core/clib/unicode.mli
/usr/lib/ocaml/coq-core/clib/unicodetable.cmi
/usr/lib/ocaml/coq-core/clib/unicodetable.cmt
/usr/lib/ocaml/coq-core/clib/unicodetable.cmx
/usr/lib/ocaml/coq-core/clib/unicodetable.ml
/usr/lib/ocaml/coq-core/clib/unionfind.cmi
/usr/lib/ocaml/coq-core/clib/unionfind.cmt
/usr/lib/ocaml/coq-core/clib/unionfind.cmti
/usr/lib/ocaml/coq-core/clib/unionfind.cmx
/usr/lib/ocaml/coq-core/clib/unionfind.ml
/usr/lib/ocaml/coq-core/clib/unionfind.mli
/usr/lib/ocaml/coq-core/config/config.a
/usr/lib/ocaml/coq-core/config/config.cmxa
/usr/lib/ocaml/coq-core/config/coq_config.cmi
/usr/lib/ocaml/coq-core/config/coq_config.cmt
/usr/lib/ocaml/coq-core/config/coq_config.cmti
/usr/lib/ocaml/coq-core/config/coq_config.cmx
/usr/lib/ocaml/coq-core/config/coq_config.ml
/usr/lib/ocaml/coq-core/config/coq_config.mli
/usr/lib/ocaml/coq-core/dune-package
/usr/lib/ocaml/coq-core/engine/eConstr.cmi
/usr/lib/ocaml/coq-core/engine/eConstr.cmt
/usr/lib/ocaml/coq-core/engine/eConstr.cmti
/usr/lib/ocaml/coq-core/engine/eConstr.cmx
/usr/lib/ocaml/coq-core/engine/eConstr.ml
/usr/lib/ocaml/coq-core/engine/eConstr.mli
/usr/lib/ocaml/coq-core/engine/engine.a
/usr/lib/ocaml/coq-core/engine/engine.cmxa
/usr/lib/ocaml/coq-core/engine/evar_kinds.cmi
/usr/lib/ocaml/coq-core/engine/evar_kinds.cmt
/usr/lib/ocaml/coq-core/engine/evar_kinds.cmti
/usr/lib/ocaml/coq-core/engine/evar_kinds.cmx
/usr/lib/ocaml/coq-core/engine/evar_kinds.ml
/usr/lib/ocaml/coq-core/engine/evar_kinds.mli
/usr/lib/ocaml/coq-core/engine/evarutil.cmi
/usr/lib/ocaml/coq-core/engine/evarutil.cmt
/usr/lib/ocaml/coq-core/engine/evarutil.cmti
/usr/lib/ocaml/coq-core/engine/evarutil.cmx
/usr/lib/ocaml/coq-core/engine/evarutil.ml
/usr/lib/ocaml/coq-core/engine/evarutil.mli
/usr/lib/ocaml/coq-core/engine/evd.cmi
/usr/lib/ocaml/coq-core/engine/evd.cmt
/usr/lib/ocaml/coq-core/engine/evd.cmti
/usr/lib/ocaml/coq-core/engine/evd.cmx
/usr/lib/ocaml/coq-core/engine/evd.ml
/usr/lib/ocaml/coq-core/engine/evd.mli

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 libcoq-core-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
8.16.1+dfsg-1+b2	bookworm / main	amd64	Debian 12 · main · amd64	41 MiB	182 MiB	pool/main/c/coq/libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb
8.16.1+dfsg-1+b2	bookworm / main	arm64	Debian 12 · main · arm64	41 MiB	186 MiB	pool/main/c/coq/libcoq-core-ocaml-dev_8.16.1+dfsg-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.

8.16.1+dfsg-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: cf725d92990afe1dd02e54beed68cf1c6d3c2c77043e67796136081820588200

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

printf '%s  %s\n' 'cf725d92990afe1dd02e54beed68cf1c6d3c2c77043e67796136081820588200' 'libcoq-core-ocaml-dev_8.16.1+dfsg-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

8.16.1+dfsg-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: f0b1286532e64477487294a641be0b877ad6eb2365ca41f3b56efb2c7ac13a1d

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

printf '%s  %s\n' 'f0b1286532e64477487294a641be0b877ad6eb2365ca41f3b56efb2c7ac13a1d' 'libcoq-core-ocaml-dev_8.16.1+dfsg-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