Debian 12 (Bookworm) native package

gringo

grounding tools for (disjunctive) logic programs

Packages / Debian 12 (Bookworm) / interpreters / gringo

[Source: gringo]

Package: gringo (5.4.1-3.1+b1)

Maintainers:

Debian Science Maintainers

External Resources:

Homepage: [www.potassco.org]

grounding tools for (disjunctive) logic programs

Other Packages Related to gringo:

dep: [libc6] (>= 2.34)
GNU C Library: Shared libraries
dep: [libgcc-s1] (>= 3.0)
GCC support library
dep: [liblua5.4-0] (>= 5.4.4)
Shared library for the Lua interpreter version 5.4
dep: [libpython3.11] (>= 3.11.0)
Shared Python runtime library (version 3.11)
dep: [libstdc++6] (>= 12.2.0-12)
GNU Standard C++ Library v3

rec: [clasp]
conflict-driven nogood learning answer set solver

Download gringo

Architecture	Package Size	Installed Size	Files
amd64	1.8 MiB	11 MiB	[list of files]
arm64	1.6 MiB	11 MiB	[list of files]

Paketdateipfade (330)

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

/usr/bin/clingo
/usr/bin/gringo
/usr/bin/iclingo
/usr/bin/lpconvert
/usr/bin/oclingo
/usr/bin/reify
/usr/lib/libclingo.so
/usr/lib/libclingo.so.3
/usr/lib/libclingo.so.3.0
/usr/share/doc/gringo/changelog.Debian.amd64.gz
/usr/share/doc/gringo/changelog.Debian.arm64.gz
/usr/share/doc/gringo/changelog.Debian.gz
/usr/share/doc/gringo/changelog.gz
/usr/share/doc/gringo/copyright
/usr/share/doc/gringo/examples/c/application.c
/usr/share/doc/gringo/examples/c/ast.c
/usr/share/doc/gringo/examples/c/backend.c
/usr/share/doc/gringo/examples/cc/CMakeLists.txt
/usr/share/doc/gringo/examples/cc/heuristic.cc
/usr/share/doc/gringo/examples/cc/inject-terms.cc
/usr/share/doc/gringo/examples/c/CMakeLists.txt
/usr/share/doc/gringo/examples/c/configuration.c
/usr/share/doc/gringo/examples/c/control.c
/usr/share/doc/gringo/examples/cc/solve-iteratively.cc
/usr/share/doc/gringo/examples/clingo/15puzzle/encoding.lp
/usr/share/doc/gringo/examples/clingo/15puzzle/instance1.lp
/usr/share/doc/gringo/examples/clingo/15puzzle/instance2.lp
/usr/share/doc/gringo/examples/clingo/15puzzle/README.md
/usr/share/doc/gringo/examples/clingo/addclause/addclause-lua.lp
/usr/share/doc/gringo/examples/clingo/addclause/addclause-py.lp
/usr/share/doc/gringo/examples/clingo/addclause/README
/usr/share/doc/gringo/examples/clingo/blocksworld/blocks_01.lp
/usr/share/doc/gringo/examples/clingo/blocksworld/control_01.lua
/usr/share/doc/gringo/examples/clingo/blocksworld/control_01.out
/usr/share/doc/gringo/examples/clingo/blocksworld/lua_interpret.lp
/usr/share/doc/gringo/examples/clingo/blocksworld/lua.lp
/usr/share/doc/gringo/examples/clingo/blocksworld/README
/usr/share/doc/gringo/examples/clingo/blocksworld/world.lp
/usr/share/doc/gringo/examples/clingo/cannot/cannot-lua.lp
/usr/share/doc/gringo/examples/clingo/cannot/cannot-py.lp
/usr/share/doc/gringo/examples/clingo/cannot/example.lp
/usr/share/doc/gringo/examples/clingo/cannot/README.md
/usr/share/doc/gringo/examples/clingo/commit/commit-lua.lp
/usr/share/doc/gringo/examples/clingo/commit/commit-py.lp
/usr/share/doc/gringo/examples/clingo/commit/encoding.lp
/usr/share/doc/gringo/examples/clingo/commit/README
/usr/share/doc/gringo/examples/clingo/consequences/brave-lua.lp
/usr/share/doc/gringo/examples/clingo/consequences/brave-py.lp
/usr/share/doc/gringo/examples/clingo/consequences/example.lp
/usr/share/doc/gringo/examples/clingo/consequences/README
/usr/share/doc/gringo/examples/clingo/context/context-lua.lp
/usr/share/doc/gringo/examples/clingo/context/context-py.lp
/usr/share/doc/gringo/examples/clingo/context/encoding.lp
/usr/share/doc/gringo/examples/clingo/context/README
/usr/share/doc/gringo/examples/clingo/controller-async/client.lp
/usr/share/doc/gringo/examples/clingo/controller-async/controller.py
/usr/share/doc/gringo/examples/clingo/controller-async/README
/usr/share/doc/gringo/examples/clingo/controller-processes/client.lp
/usr/share/doc/gringo/examples/clingo/controller-processes/client.py
/usr/share/doc/gringo/examples/clingo/controller-processes/README
/usr/share/doc/gringo/examples/clingo/controller-processes/server.py
/usr/share/doc/gringo/examples/clingo/controller-threads/client.lp
/usr/share/doc/gringo/examples/clingo/controller-threads/controller.py
/usr/share/doc/gringo/examples/clingo/controller-threads/README
/usr/share/doc/gringo/examples/clingo/cover/control-lua.lp
/usr/share/doc/gringo/examples/clingo/cover/control-py.lp
/usr/share/doc/gringo/examples/clingo/cover/cover.lp
/usr/share/doc/gringo/examples/clingo/cover/instance.lp
/usr/share/doc/gringo/examples/clingo/cover/preprocess.lp
/usr/share/doc/gringo/examples/clingo/cover/README
/usr/share/doc/gringo/examples/clingo/dl/difference_logic.py
/usr/share/doc/gringo/examples/clingo/dl/dl.lp
/usr/share/doc/gringo/examples/clingo/dl/dlO.lp
/usr/share/doc/gringo/examples/clingo/dl/fsE.lp
/usr/share/doc/gringo/examples/clingo/dl/fsI.lp
/usr/share/doc/gringo/examples/clingo/dl/README.md
/usr/share/doc/gringo/examples/clingo/domains/domains-lua.lp
/usr/share/doc/gringo/examples/clingo/domains/domains-py.lp
/usr/share/doc/gringo/examples/clingo/domains/instance.lp
/usr/share/doc/gringo/examples/clingo/domains/README
/usr/share/doc/gringo/examples/clingo/dot-propagator/dot.lp
/usr/share/doc/gringo/examples/clingo/dot-propagator/README
/usr/share/doc/gringo/examples/clingo/dot-propagator/test.lp
/usr/share/doc/gringo/examples/clingo/enum-assumption/example-lua.lp
/usr/share/doc/gringo/examples/clingo/enum-assumption/example-py.lp
/usr/share/doc/gringo/examples/clingo/enum-assumption/README
/usr/share/doc/gringo/examples/clingo/excel/example.lp
/usr/share/doc/gringo/examples/clingo/excel/excel-py.lp
/usr/share/doc/gringo/examples/clingo/excel/README.md
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/encodings/encoding.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0004-graph_colouring-125-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0005-graph_colouring-125-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0007-graph_colouring-125-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0008-graph_colouring-125-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0013-graph_colouring-130-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0021-graph_colouring-135-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0022-graph_colouring-135-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0023-graph_colouring-135-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0025-graph_colouring-135-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0032-graph_colouring-140-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0036-graph_colouring-140-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0039-graph_colouring-140-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0040-graph_colouring-140-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0046-graph_colouring-145-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0047-graph_colouring-145-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0048-graph_colouring-145-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0050-graph_colouring-145-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0056-graph_colouring-150-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0059-graph_colouring-150-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/GraphColouring/instances/0060-graph_colouring-150-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/main.py
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/encodings/encoding.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/100-partner_units-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/102-partner_units-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/114-partner_units_polynomial-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/115-partner_units_polynomial-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/119-partner_units_polynomial-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/127-partner_units_polynomial-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/153-partner_units-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/154-partner_units-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/156-partner_units-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/161-partner_units-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/175-partner_units_polynomial-75-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/180-partner_units_polynomial-47-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/188-partner_units_polynomial-57-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/196-partner_units_polynomial-59-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/26-partner_units_polynomial-60-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/52-partner_units_polynomial-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/58-partner_units_polynomial-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/69-partner_units_polynomial-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/91-partner_units-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/PartnerUnits/instances/99-partner_units-100-0.lp
/usr/share/doc/gringo/examples/clingo/expansion/README
/usr/share/doc/gringo/examples/clingo/extend_model/extend_model-lua.lp
/usr/share/doc/gringo/examples/clingo/extend_model/extend_model-py.lp
/usr/share/doc/gringo/examples/clingo/extend_model/README.md
/usr/share/doc/gringo/examples/clingo/external/external.lp
/usr/share/doc/gringo/examples/clingo/external/external-lua.lp
/usr/share/doc/gringo/examples/clingo/external/external-py.lp
/usr/share/doc/gringo/examples/clingo/external/README
/usr/share/doc/gringo/examples/clingo/heuristic/encoding-lua.lp
/usr/share/doc/gringo/examples/clingo/heuristic/encoding-py.lp
/usr/share/doc/gringo/examples/clingo/heuristic/instance.lp
/usr/share/doc/gringo/examples/clingo/heuristic/README.md
/usr/share/doc/gringo/examples/clingo/iclingo/example.lp
/usr/share/doc/gringo/examples/clingo/iclingo/incmode-int.lp
/usr/share/doc/gringo/examples/clingo/iclingo/incmode-lua.lp
/usr/share/doc/gringo/examples/clingo/iclingo/incmode-py.lp
/usr/share/doc/gringo/examples/clingo/iclingo/README.md
/usr/share/doc/gringo/examples/clingo/include/encoding-lua.lp
/usr/share/doc/gringo/examples/clingo/include/encoding-py.lp
/usr/share/doc/gringo/examples/clingo/include/include.lp
/usr/share/doc/gringo/examples/clingo/include/README
/usr/share/doc/gringo/examples/clingo/incqueens/incqueens.lp
/usr/share/doc/gringo/examples/clingo/incqueens/incqueens-lua.lp
/usr/share/doc/gringo/examples/clingo/incqueens/incqueens-py.lp
/usr/share/doc/gringo/examples/clingo/incqueens/README.md
/usr/share/doc/gringo/examples/clingo/itersolve/itersolve-lua.lp
/usr/share/doc/gringo/examples/clingo/itersolve/itersolve-py.lp
/usr/share/doc/gringo/examples/clingo/itersolve/program.lp
/usr/share/doc/gringo/examples/clingo/itersolve/README
/usr/share/doc/gringo/examples/clingo/load/load-lua.lp
/usr/share/doc/gringo/examples/clingo/load/load-py.lp
/usr/share/doc/gringo/examples/clingo/load/program.lp
/usr/share/doc/gringo/examples/clingo/load/README
/usr/share/doc/gringo/examples/clingo/onmodel/onmodel-lua.lp
/usr/share/doc/gringo/examples/clingo/onmodel/onmodel-py.lp
/usr/share/doc/gringo/examples/clingo/onmodel/README
/usr/share/doc/gringo/examples/clingo/opt/opt.lp
/usr/share/doc/gringo/examples/clingo/opt/README.md
/usr/share/doc/gringo/examples/clingo/opt/tohB.lp
/usr/share/doc/gringo/examples/clingo/opt/tohE.lp
/usr/share/doc/gringo/examples/clingo/opt/tohI.lp
/usr/share/doc/gringo/examples/clingo/planning/convert.lp
/usr/share/doc/gringo/examples/clingo/planning/convert.sh
/usr/share/doc/gringo/examples/clingo/planning/encoding.lp
/usr/share/doc/gringo/examples/clingo/planning/instances/coins01.lp
/usr/share/doc/gringo/examples/clingo/planning/instances/comm02.lp
/usr/share/doc/gringo/examples/clingo/planning/instances/comm03.lp
/usr/share/doc/gringo/examples/clingo/planning/instances/comm05.lp
/usr/share/doc/gringo/examples/clingo/planning/instances/uts01.lp
/usr/share/doc/gringo/examples/clingo/planning/planning-lua.lp
/usr/share/doc/gringo/examples/clingo/planning/README
/usr/share/doc/gringo/examples/clingo/pydoc/pydoc-lib.py
/usr/share/doc/gringo/examples/clingo/pydoc/pydoc.lp
/usr/share/doc/gringo/examples/clingo/pydoc/README
/usr/share/doc/gringo/examples/clingo/robots/board.lp
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_east.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_south.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_blue_west.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_east.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_south.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_green_west.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_east.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_south.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_red_west.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_east.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_south.gif
/usr/share/doc/gringo/examples/clingo/robots/img/arrow_yellow_west.gif
/usr/share/doc/gringo/examples/clingo/robots/img/moon_blue.gif
/usr/share/doc/gringo/examples/clingo/robots/img/moon_green.gif
/usr/share/doc/gringo/examples/clingo/robots/img/moon_red.gif
/usr/share/doc/gringo/examples/clingo/robots/img/moon_yellow.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_blue_east.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_blue_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_blue_south.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_blue_west.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_green_east.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_green_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_green_south.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_green_west.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_red_east.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_red_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_red_south.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_red_west.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_east.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_south.gif
/usr/share/doc/gringo/examples/clingo/robots/img/move_yellow_west.gif
/usr/share/doc/gringo/examples/clingo/robots/img/random_robot.gif
/usr/share/doc/gringo/examples/clingo/robots/img/robot_blue.gif
/usr/share/doc/gringo/examples/clingo/robots/img/robot_green.gif
/usr/share/doc/gringo/examples/clingo/robots/img/robot_red.gif
/usr/share/doc/gringo/examples/clingo/robots/img/robot_yellow.gif
/usr/share/doc/gringo/examples/clingo/robots/img/saturn_blue.gif
/usr/share/doc/gringo/examples/clingo/robots/img/saturn_green.gif
/usr/share/doc/gringo/examples/clingo/robots/img/saturn_red.gif
/usr/share/doc/gringo/examples/clingo/robots/img/saturn_yellow.gif
/usr/share/doc/gringo/examples/clingo/robots/img/star_blue.gif
/usr/share/doc/gringo/examples/clingo/robots/img/star_green.gif
/usr/share/doc/gringo/examples/clingo/robots/img/star_red.gif
/usr/share/doc/gringo/examples/clingo/robots/img/star_yellow.gif
/usr/share/doc/gringo/examples/clingo/robots/img/sun_blue.gif
/usr/share/doc/gringo/examples/clingo/robots/img/sun_green.gif
/usr/share/doc/gringo/examples/clingo/robots/img/sun_red.gif
/usr/share/doc/gringo/examples/clingo/robots/img/sun_yellow.gif
/usr/share/doc/gringo/examples/clingo/robots/img/tile_left.gif
/usr/share/doc/gringo/examples/clingo/robots/img/tile_right.gif
/usr/share/doc/gringo/examples/clingo/robots/img/wall_north.gif
/usr/share/doc/gringo/examples/clingo/robots/img/wall_west.gif
/usr/share/doc/gringo/examples/clingo/robots/README.md
/usr/share/doc/gringo/examples/clingo/robots/robots.lp
/usr/share/doc/gringo/examples/clingo/robots/visualize.py
/usr/share/doc/gringo/examples/clingo/setconf/README
/usr/share/doc/gringo/examples/clingo/setconf/setconf-lua.lp
/usr/share/doc/gringo/examples/clingo/setconf/setconf-py.lp

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

Dieses Paket verwenden

OpenFactory kann dieses Betriebssystem in einer Browser-VM starten oder einen Image-Build mit dem nativen Paketnamen aus diesem Datensatz beginnen.

Debian 12 (Bookworm) im Browser testen Image mit gringo bauen

Versionen, Suiten und Repositories

Jede Zeile ist Paketindex-Metadaten für eine Version, Architektur, Suite und ein Repository. Namen, URLs und Größen stammen aus der Quelle; ein Link ist ein veränderbarer Abrufort, kein Weitergabanspruch von OpenFactory.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
5.4.1-3.1+b1	bookworm / main	amd64	Debian 12 · main · amd64	1.8 MiB	11 MiB	pool/main/g/gringo/gringo_5.4.1-3.1+b1_amd64.deb
5.4.1-3.1+b1	bookworm / main	arm64	Debian 12 · main · arm64	1.6 MiB	11 MiB	pool/main/g/gringo/gringo_5.4.1-3.1+b1_arm64.deb

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

Prüfsummen und Beobachtungsdaten

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.

5.4.1-3.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: 440d5c705815efb70281a2c60bbcd76dcc4121f87f26563bc15e13dceb05cd2e

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

printf '%s  %s\n' '440d5c705815efb70281a2c60bbcd76dcc4121f87f26563bc15e13dceb05cd2e' 'gringo_5.4.1-3.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 12 (Bookworm) main amd64 revision bookworm-main-amd64:9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5

5.4.1-3.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: 8caa0be80b2385a29d4a9f6e9e281589968779656ac583df15ee97fd94408ff2

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

printf '%s  %s\n' '8caa0be80b2385a29d4a9f6e9e281589968779656ac583df15ee97fd94408ff2' 'gringo_5.4.1-3.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 12 (Bookworm) main arm64 revision bookworm-main-arm64:2ddb1737692e8c45c53e8d57c0ce4cd21c78c5703b830c3226b1423566a06c00

Vollständigkeit des Katalogsatzes

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

Quellen und Herkunft

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