Packages / Fedora 44 / Unspecified / yices-doc

Package: yices-doc (2.7.0-8.fc44)

Documentation for yices

This package contains yices documentation.

Download yices-doc

Architecture	Package size	Installed size	Files	Package
noarch	1.5 MiB	21 MiB	list of files	Download

Paketdateipfade (463)

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

/usr/share/doc/yices-doc
/usr/share/doc/yices-doc/examples
/usr/share/doc/yices-doc/examples/abs_axiom2.smt2
/usr/share/doc/yices-doc/examples/abs_axiom.smt2
/usr/share/doc/yices-doc/examples/abs_test1.smt2
/usr/share/doc/yices-doc/examples/abs_test2.smt2
/usr/share/doc/yices-doc/examples/abs_test3.smt2
/usr/share/doc/yices-doc/examples/abs_test4.smt2
/usr/share/doc/yices-doc/examples/abs_test5.smt2
/usr/share/doc/yices-doc/examples/abs_test6.smt2
/usr/share/doc/yices-doc/examples/adria
/usr/share/doc/yices-doc/examples/adria/ef_ALU_add_sub.ys
/usr/share/doc/yices-doc/examples/adria/example_1_implication_forall_turned_into_exist.smt2
/usr/share/doc/yices-doc/examples/adria/example_1_implication_forall_turned_into_exist.ys
/usr/share/doc/yices-doc/examples/adria/example_1_implication.smt2
/usr/share/doc/yices-doc/examples/adria/example_1_implication.ys
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected2.smt2
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected2.ys
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected3.smt2
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected3.ys
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected4.smt2
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected4.ys
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected.smt2
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected.ys
/usr/share/doc/yices-doc/examples/adria/example_ALU_add_sub_rewritten.smt2
/usr/share/doc/yices-doc/examples/adria/example_ALU_add_sub_rewritten.ys
/usr/share/doc/yices-doc/examples/adria/example_distr.efyices
/usr/share/doc/yices-doc/examples/adria/example_distr.efyices.smt2
/usr/share/doc/yices-doc/examples/adria/example.efyices
/usr/share/doc/yices-doc/examples/adria/example_find_ALU_add_conditions.smt2
/usr/share/doc/yices-doc/examples/adria/example_find_ALU_add_conditions.ys
/usr/share/doc/yices-doc/examples/adria/test2.ys
/usr/share/doc/yices-doc/examples/adria/test3.ys
/usr/share/doc/yices-doc/examples/adria/test-eval.ys
/usr/share/doc/yices-doc/examples/adria/test-show-model.ys
/usr/share/doc/yices-doc/examples/adria/test.ys
/usr/share/doc/yices-doc/examples/arith_mix.ys
/usr/share/doc/yices-doc/examples/ashish-assert.txt
/usr/share/doc/yices-doc/examples/ashish-full1.tx2.txt
/usr/share/doc/yices-doc/examples/ashish-full1.txt
/usr/share/doc/yices-doc/examples/ashish-full.txt
/usr/share/doc/yices-doc/examples/babic2-bool.ys
/usr/share/doc/yices-doc/examples/bool_eqs2.ys
/usr/share/doc/yices-doc/examples/bool_eqs3.ys
/usr/share/doc/yices-doc/examples/bool_eqs4.ys
/usr/share/doc/yices-doc/examples/bool_eqs.ys
/usr/share/doc/yices-doc/examples/bv_add20_bool.ys
/usr/share/doc/yices-doc/examples/bv_add20.ys
/usr/share/doc/yices-doc/examples/bv_cycle2.smt
/usr/share/doc/yices-doc/examples/bv_cycle3.smt
/usr/share/doc/yices-doc/examples/bv_cycle.smt
/usr/share/doc/yices-doc/examples/bv_mix.ys
/usr/share/doc/yices-doc/examples/bv_mul10.ys
/usr/share/doc/yices-doc/examples/bv_mul15.ys
/usr/share/doc/yices-doc/examples/bv_mul20.ys
/usr/share/doc/yices-doc/examples/bv_neg20_bool.ys
/usr/share/doc/yices-doc/examples/bv_neg20.ys
/usr/share/doc/yices-doc/examples/bv_not20.ys
/usr/share/doc/yices-doc/examples/bv_not4.ys
/usr/share/doc/yices-doc/examples/bv_pprod1.smt
/usr/share/doc/yices-doc/examples/bv_pprod2.smt
/usr/share/doc/yices-doc/examples/bv_pprod3.smt
/usr/share/doc/yices-doc/examples/bv_test1.ys
/usr/share/doc/yices-doc/examples/bv_test2.ys
/usr/share/doc/yices-doc/examples/bv_test.ys
/usr/share/doc/yices-doc/examples/check_formula_examples.c
/usr/share/doc/yices-doc/examples/check_formula_examples_mt.c
/usr/share/doc/yices-doc/examples/data1.txt
/usr/share/doc/yices-doc/examples/data2.txt
/usr/share/doc/yices-doc/examples/dioph-crt1.txt
/usr/share/doc/yices-doc/examples/dioph-crt1.ys
/usr/share/doc/yices-doc/examples/dioph-crt2.txt
/usr/share/doc/yices-doc/examples/dioph-empty.txt
/usr/share/doc/yices-doc/examples/dioph-example2.txt
/usr/share/doc/yices-doc/examples/dioph-example3.txt
/usr/share/doc/yices-doc/examples/dioph-example.txt
/usr/share/doc/yices-doc/examples/dioph-hard.txt
/usr/share/doc/yices-doc/examples/dioph-rosser.txt
/usr/share/doc/yices-doc/examples/dioph-unsat1.txt
/usr/share/doc/yices-doc/examples/dioph-unsat2.txt
/usr/share/doc/yices-doc/examples/dioph-unsat3.txt
/usr/share/doc/yices-doc/examples/div_axiom1.smt2
/usr/share/doc/yices-doc/examples/div_axiom2.smt2
/usr/share/doc/yices-doc/examples/div_axiom3.smt2
/usr/share/doc/yices-doc/examples/div_axiom4.smt2
/usr/share/doc/yices-doc/examples/div_axiom5.smt2
/usr/share/doc/yices-doc/examples/div_axiom6.smt2
/usr/share/doc/yices-doc/examples/divides_test1.smt2
/usr/share/doc/yices-doc/examples/divides_test2.smt2
/usr/share/doc/yices-doc/examples/divides_test3.smt2
/usr/share/doc/yices-doc/examples/divides_test4.smt2
/usr/share/doc/yices-doc/examples/divides_test5.smt2
/usr/share/doc/yices-doc/examples/divides_test6.smt2
/usr/share/doc/yices-doc/examples/div_test1.smt2
/usr/share/doc/yices-doc/examples/div_test2.smt2
/usr/share/doc/yices-doc/examples/div_test3.smt2
/usr/share/doc/yices-doc/examples/div_test4.smt2
/usr/share/doc/yices-doc/examples/div_test5.smt2
/usr/share/doc/yices-doc/examples/div_test6.smt2
/usr/share/doc/yices-doc/examples/ef-tests
/usr/share/doc/yices-doc/examples/ef-tests/presburger
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_00.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_01.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_02.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_03.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_04.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_05.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_06.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_07.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_08.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_09.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_10.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_11.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_12.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_13.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_14.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_15.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/example_16.smt2
/usr/share/doc/yices-doc/examples/ef-tests/presburger/Makefile
/usr/share/doc/yices-doc/examples/ef-tests/presburger/Makefile.all
/usr/share/doc/yices-doc/examples/ef-tests/presburger/README
/usr/share/doc/yices-doc/examples/ef-tests/test10.unsat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test10.unsat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test10.unsat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test10.unsat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test11b.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11b.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11b.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11b.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test11c.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11c.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11c.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11c.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test11.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test11.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test1.unsat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test1.unsat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test1.unsat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test1.unsat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test2.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test2.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test2.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test2.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test3.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test3.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test3.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test3.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test4.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test4.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test4.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test4.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test5.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test5.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test5.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test5.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test6.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test6.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test6.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test6.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test7.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test7.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test7.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test7.sat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test8.unsat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test8.unsat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test8.unsat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test8.unsat.ys
/usr/share/doc/yices-doc/examples/ef-tests/test9.sat.exists.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test9.sat.mixed.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test9.sat.smt2
/usr/share/doc/yices-doc/examples/ef-tests/test9.sat.ys
/usr/share/doc/yices-doc/examples/example1b.c
/usr/share/doc/yices-doc/examples/example1.c
/usr/share/doc/yices-doc/examples/example1c.c
/usr/share/doc/yices-doc/examples/example2b.c
/usr/share/doc/yices-doc/examples/example2.c
/usr/share/doc/yices-doc/examples/example2c.c
/usr/share/doc/yices-doc/examples/example2d.c
/usr/share/doc/yices-doc/examples/example2e.c
/usr/share/doc/yices-doc/examples/example_mcsat.c
/usr/share/doc/yices-doc/examples/example_unsat_core.c
/usr/share/doc/yices-doc/examples/export_to_dimacs_example.c
/usr/share/doc/yices-doc/examples/export_to_dimacs_example_mt.c
/usr/share/doc/yices-doc/examples/floor_axiom2.smt2
/usr/share/doc/yices-doc/examples/floor_axiom3.smt2
/usr/share/doc/yices-doc/examples/floor_axiom4.smt2
/usr/share/doc/yices-doc/examples/floor_axiom5.smt2
/usr/share/doc/yices-doc/examples/floor_axiom.smt2
/usr/share/doc/yices-doc/examples/floor_test1.smt2
/usr/share/doc/yices-doc/examples/floor_test2.smt2
/usr/share/doc/yices-doc/examples/floor_test3.smt2
/usr/share/doc/yices-doc/examples/formula_bv32.ys2
/usr/share/doc/yices-doc/examples/frugal1000.smt
/usr/share/doc/yices-doc/examples/frugal1000.ys
/usr/share/doc/yices-doc/examples/frugal100.smt
/usr/share/doc/yices-doc/examples/frugal100.ys
/usr/share/doc/yices-doc/examples/frugal10a.smt
/usr/share/doc/yices-doc/examples/frugal10a.ys
/usr/share/doc/yices-doc/examples/frugal10bool.ys
/usr/share/doc/yices-doc/examples/frugal10.smt
/usr/share/doc/yices-doc/examples/frugal10.ys
/usr/share/doc/yices-doc/examples/frugal200.smt
/usr/share/doc/yices-doc/examples/frugal200.ys
/usr/share/doc/yices-doc/examples/frugal300.smt
/usr/share/doc/yices-doc/examples/frugal300.ys
/usr/share/doc/yices-doc/examples/frugal500bool.ys
/usr/share/doc/yices-doc/examples/frugal500.smt
/usr/share/doc/yices-doc/examples/frugal500.ys
/usr/share/doc/yices-doc/examples/gacek.smt2
/usr/share/doc/yices-doc/examples/integerTestSimple.smt
/usr/share/doc/yices-doc/examples/integerTest.smt
/usr/share/doc/yices-doc/examples/is_int_test1.smt2
/usr/share/doc/yices-doc/examples/is_int_test2.smt2
/usr/share/doc/yices-doc/examples/is_int_test3.smt2
/usr/share/doc/yices-doc/examples/is_int_test4.smt2
/usr/share/doc/yices-doc/examples/jinpeng.ys
/usr/share/doc/yices-doc/examples/junghee_lim2.ys
/usr/share/doc/yices-doc/examples/junghee_lim3.ys
/usr/share/doc/yices-doc/examples/junghee_lim.ys
/usr/share/doc/yices-doc/examples/like_issue233.c
/usr/share/doc/yices-doc/examples/like_test02m.c
/usr/share/doc/yices-doc/examples/minimal.c
/usr/share/doc/yices-doc/examples/mod_axiom2.smt2
/usr/share/doc/yices-doc/examples/mod_axiom3.smt2
/usr/share/doc/yices-doc/examples/mod_axiom4.smt2
/usr/share/doc/yices-doc/examples/mod_axiom5.smt2
/usr/share/doc/yices-doc/examples/mod_axiom6.smt2
/usr/share/doc/yices-doc/examples/mod_axiom.smt2
/usr/share/doc/yices-doc/examples/mod_test1.smt2
/usr/share/doc/yices-doc/examples/mod_test2.smt2
/usr/share/doc/yices-doc/examples/mod_test3.smt2
/usr/share/doc/yices-doc/examples/mod_test4.smt2
/usr/share/doc/yices-doc/examples/names.c
/usr/share/doc/yices-doc/examples/out_of_mem_example.cpp
/usr/share/doc/yices-doc/examples/patrick
/usr/share/doc/yices-doc/examples/patrick/control_block2.ys
/usr/share/doc/yices-doc/examples/patrick/cruise_control1.ys
/usr/share/doc/yices-doc/examples/patrick/denominator3.ys
/usr/share/doc/yices-doc/examples/patrick/lyapunov4.ys
/usr/share/doc/yices-doc/examples/patrick/priority_synthesis5.ys
/usr/share/doc/yices-doc/examples/patrick/priority_synthesis6.ys
/usr/share/doc/yices-doc/examples/patrick/priority_synthesis7.ys
/usr/share/doc/yices-doc/examples/patrick/priority_synthesis8.ys
/usr/share/doc/yices-doc/examples/patrick/priority_synthesis9.ys
/usr/share/doc/yices-doc/examples/patrick/test_bvbv1.ys
/usr/share/doc/yices-doc/examples/patrick/test_bvbv2.ys
/usr/share/doc/yices-doc/examples/patrick/test_bvbv3.ys
/usr/share/doc/yices-doc/examples/patrick/test_lala1.ys

Field source: Fedora 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419

Dieses Paket verwenden

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

Fedora 44 im Browser testen Image mit yices-doc 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
2.7.0-8.fc44	44 / updates	noarch	Fedora 44 · updates · x86_64	1.5 MiB	21 MiB	Packages/y/yices-doc-2.7.0-8.fc44.noarch.rpm
2.7.0-8.fc44	44 / updates	noarch	Fedora 44 · updates · aarch64	1.5 MiB	21 MiB	Packages/y/yices-doc-2.7.0-8.fc44.noarch.rpm
2.7.0-6.fc44	44 / everything	noarch	Fedora 44 · Everything · x86_64	1.5 MiB	21 MiB	Packages/y/yices-doc-2.7.0-6.fc44.noarch.rpm
2.7.0-6.fc44	44 / everything	noarch	Fedora 44 · Everything · aarch64	1.5 MiB	21 MiB	Packages/y/yices-doc-2.7.0-6.fc44.noarch.rpm

Field source: Fedora 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419

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.

2.7.0-8.fc44 / noarchObserved 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: b3f29dc8fbfdff030942688a191f47846736a3e8fbfee8ce491fb484e9882df5

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

printf '%s  %s\n' 'b3f29dc8fbfdff030942688a191f47846736a3e8fbfee8ce491fb484e9882df5' 'yices-doc-2.7.0-8.fc44.noarch.rpm' | sha256sum --check --strict -

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

Field source: Fedora 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419

2.7.0-8.fc44 / noarchObserved 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: b3f29dc8fbfdff030942688a191f47846736a3e8fbfee8ce491fb484e9882df5

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

printf '%s  %s\n' 'b3f29dc8fbfdff030942688a191f47846736a3e8fbfee8ce491fb484e9882df5' 'yices-doc-2.7.0-8.fc44.noarch.rpm' | sha256sum --check --strict -

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

Field source: Fedora 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b

2.7.0-6.fc44 / noarchObserved 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: 3eebacd5202e0e435c6f5a1e9e4888b5328022e2c6ecf4df39d896d72c644659

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

printf '%s  %s\n' '3eebacd5202e0e435c6f5a1e9e4888b5328022e2c6ecf4df39d896d72c644659' 'yices-doc-2.7.0-6.fc44.noarch.rpm' | sha256sum --check --strict -

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

Field source: Fedora 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991

2.7.0-6.fc44 / noarchObserved 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: 3eebacd5202e0e435c6f5a1e9e4888b5328022e2c6ecf4df39d896d72c644659

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

printf '%s  %s\n' '3eebacd5202e0e435c6f5a1e9e4888b5328022e2c6ecf4df39d896d72c644659' 'yices-doc-2.7.0-6.fc44.noarch.rpm' | sha256sum --check --strict -

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

Field source: Fedora 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee

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: 5/5
Source package or maintainer: 10/10

Recorded total: 100/100

Field source: Fedora 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee, Fedora 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991, Fedora 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b, Fedora 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419. 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.

Fedora 44 Everything aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee
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://mirrors.fedoraproject.org/metalink?repo=fedora-44&arch=aarch64
Signed-object SHA-256
236514c32119ab3c85b81fbb9e5e9d92b07aeba0d19d64c9b4fc9117a1863769
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: Not recorded
Expected SHA-256: Not recorded
Observed SHA-256: Not recorded
Result: match verified
Fedora 44 Everything x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991
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://mirrors.fedoraproject.org/metalink?repo=fedora-44&arch=x86_64
Signed-object SHA-256
1300b99ac5d04b5561ad901320c8bd59ed1553f4971c3ce2ca48c40242c66676
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: Not recorded
Expected SHA-256: Not recorded
Observed SHA-256: Not recorded
Result: match verified
Fedora 44 updates aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b
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://mirrors.fedoraproject.org/metalink?repo=updates-released-f44&arch=aarch64
Signed-object SHA-256
2ec0ba92e556309075d8efe3c3301b36bb7ecd47c4e17566f0192c9c5436ed5f
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: Not recorded
Expected SHA-256: Not recorded
Observed SHA-256: Not recorded
Result: match verified
Fedora 44 updates x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419
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://mirrors.fedoraproject.org/metalink?repo=updates-released-f44&arch=x86_64
Signed-object SHA-256
a69a0ab020457a7af2515066b7caccb3950bcf9dc7bedb52b1850098d9857ae1
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: Not recorded
Expected SHA-256: Not recorded
Observed SHA-256: Not recorded
Result: match verified