Linux workstation

Debian 13 (Trixie) native package

gringo

grounding tools for (disjunctive) logic programs

Packages / Debian 13 (Trixie) / interpreters / gringo

[Source: gringo]

Package: gringo (5.6.2-2+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.38)

    GNU C Library: Shared libraries

  • dep: [libgcc-s1] (>= 3.0)

    GCC support library

  • dep: [liblua5.4-0] (>= 5.4.6)

    Shared library for the Lua interpreter version 5.4

  • dep: [libstdc++6] (>= 14)

    GNU Standard C++ Library v3

  • rec: [clasp]

    conflict-driven nogood learning answer set solver

Download gringo

ArchitecturePackage SizeInstalled SizeFiles
amd641.8 MiB15 MiB[list of files]
arm641.7 MiB15 MiB[list of files]

Caminhos de arquivo do pacote (411)

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/include/clingo.h
  • /usr/include/clingo.hh
  • /usr/lib/aarch64-linux-gnu/cmake/Clingo/ClingoConfig.cmake
  • /usr/lib/aarch64-linux-gnu/cmake/Clingo/ClingoConfigVersion.cmake
  • /usr/lib/aarch64-linux-gnu/cmake/Clingo/ClingoTargets.cmake
  • /usr/lib/aarch64-linux-gnu/cmake/Clingo/ClingoTargets-release.cmake
  • /usr/lib/aarch64-linux-gnu/libclingo.so
  • /usr/lib/aarch64-linux-gnu/libclingo.so.4
  • /usr/lib/aarch64-linux-gnu/libclingo.so.4.0
  • /usr/lib/libclingo.so
  • /usr/lib/libclingo.so.4
  • /usr/lib/libclingo.so.4.0
  • /usr/lib/x86_64-linux-gnu/cmake/Clingo/ClingoConfig.cmake
  • /usr/lib/x86_64-linux-gnu/cmake/Clingo/ClingoConfigVersion.cmake
  • /usr/lib/x86_64-linux-gnu/cmake/Clingo/ClingoTargets.cmake
  • /usr/lib/x86_64-linux-gnu/cmake/Clingo/ClingoTargets-release.cmake
  • /usr/lib/x86_64-linux-gnu/libclingo.so
  • /usr/lib/x86_64-linux-gnu/libclingo.so.4
  • /usr/lib/x86_64-linux-gnu/libclingo.so.4.0
  • /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/chemistry/app.py
  • /usr/share/doc/gringo/examples/clingo/chemistry/chemistry.lp
  • /usr/share/doc/gringo/examples/clingo/chemistry/external.lp
  • /usr/share/doc/gringo/examples/clingo/chemistry/README.md
  • /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/app.py
  • /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/extending/app.py
  • /usr/share/doc/gringo/examples/clingo/extending/embedded.lp
  • /usr/share/doc/gringo/examples/clingo/extending/example.lp
  • /usr/share/doc/gringo/examples/clingo/extending/module.py
  • /usr/share/doc/gringo/examples/clingo/extending/README.md
  • /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/gac/app.py
  • /usr/share/doc/gringo/examples/clingo/gac/example.lp
  • /usr/share/doc/gringo/examples/clingo/gac/README.md
  • /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/multishot/inc.py
  • /usr/share/doc/gringo/examples/clingo/multishot/opt.py
  • /usr/share/doc/gringo/examples/clingo/multishot/README.md
  • /usr/share/doc/gringo/examples/clingo/multishot/tohB.lp
  • /usr/share/doc/gringo/examples/clingo/multishot/tohE.lp
  • /usr/share/doc/gringo/examples/clingo/multishot/tohI.lp
  • /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-enum/example1.lp
  • /usr/share/doc/gringo/examples/clingo/opt-enum/example2.lp
  • /usr/share/doc/gringo/examples/clingo/opt-enum/opt.py
  • /usr/share/doc/gringo/examples/clingo/opt-enum/README.md
  • /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

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

Usar este pacote

O OpenFactory pode iniciar este sistema operacional em uma máquina virtual do navegador, ou começar uma construção que inclui o nome nativo do pacote deste registro.

Versões, suites e repositórios

Cada linha é metadado do índice de pacotes para uma versão, arquitetura, suite e repositório. Nomes, URLs e tamanhos vêm da fonte; um link é um ponto de obtenção mutável, não uma redistribuição da OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
5.6.2-2+b1trixie / mainarm64Debian 13 · main · arm641.7 MiB15 MiBpool/main/g/gringo/gringo_5.6.2-2+b1_arm64.deb
5.6.2-2trixie / mainamd64Debian 13 · main · amd641.8 MiB15 MiBpool/main/g/gringo/gringo_5.6.2-2_amd64.deb

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

Checksums e datas de observação

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.6.2-2+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: 2ca77f814a89f98f41dcf6ef4692c4e1dd401bfa742999887adaf7f93329e494

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

printf '%s %s\n' '2ca77f814a89f98f41dcf6ef4692c4e1dd401bfa742999887adaf7f93329e494' 'gringo_5.6.2-2+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

5.6.2-2 / 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: 92264e8888a470f8f266a67c911ea67e273fe0e1be76e18a577abeade7629656

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

printf '%s %s\n' '92264e8888a470f8f266a67c911ea67e273fe0e1be76e18a577abeade7629656' 'gringo_5.6.2-2_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

Completude do 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 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

Fontes e proveniência

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.

  • 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 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

  • 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 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

gringo Package for Debian 13 (Trixie) | OpenFactory