Packages / Fedora 44 / Unspecified / why3-examples

Package: why3-examples (1.8.2-9.fc44)

Example inputs

Example source code with why3 annotations.

Other Packages Related to why3-examples:

dep: [why3] (= 1.8.2-9.fc44)
Software verification platform

Download why3-examples

Architecture	Package size	Installed size	Files	Package
noarch	4.5 MiB	17 MiB	list of files	Download

Package file paths (2,214)

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

/usr/share/doc/why3-examples
/usr/share/doc/why3-examples/examples
/usr/share/doc/why3-examples/examples/add_list
/usr/share/doc/why3-examples/examples/add_list.mlw
/usr/share/doc/why3-examples/examples/add_list_vc_sp
/usr/share/doc/why3-examples/examples/add_list_vc_sp.mlw
/usr/share/doc/why3-examples/examples/add_list_vc_sp/why3session.xml
/usr/share/doc/why3-examples/examples/add_list_vc_sp/why3shapes.gz
/usr/share/doc/why3-examples/examples/add_list/why3session.xml
/usr/share/doc/why3-examples/examples/add_list/why3shapes.gz
/usr/share/doc/why3-examples/examples/algo63
/usr/share/doc/why3-examples/examples/algo63.mlw
/usr/share/doc/why3-examples/examples/algo63/why3session.xml
/usr/share/doc/why3-examples/examples/algo63/why3shapes.gz
/usr/share/doc/why3-examples/examples/algo64
/usr/share/doc/why3-examples/examples/algo64.mlw
/usr/share/doc/why3-examples/examples/algo64/why3session.xml
/usr/share/doc/why3-examples/examples/algo64/why3shapes.gz
/usr/share/doc/why3-examples/examples/algo65
/usr/share/doc/why3-examples/examples/algo65.mlw
/usr/share/doc/why3-examples/examples/algo65/why3session.xml
/usr/share/doc/why3-examples/examples/algo65/why3shapes.gz
/usr/share/doc/why3-examples/examples/all_distinct
/usr/share/doc/why3-examples/examples/all_distinct.mlw
/usr/share/doc/why3-examples/examples/all_distinct/why3session.xml
/usr/share/doc/why3-examples/examples/all_distinct/why3shapes.gz
/usr/share/doc/why3-examples/examples/amortization
/usr/share/doc/why3-examples/examples/amortization.mlw
/usr/share/doc/why3-examples/examples/amortization/why3session.xml
/usr/share/doc/why3-examples/examples/amortization/why3shapes.gz
/usr/share/doc/why3-examples/examples/anagrammi
/usr/share/doc/why3-examples/examples/anagrammi.mlw
/usr/share/doc/why3-examples/examples/anagrammi/why3session.xml
/usr/share/doc/why3-examples/examples/anagrammi/why3shapes.gz
/usr/share/doc/why3-examples/examples/arm
/usr/share/doc/why3-examples/examples/arm.mlw
/usr/share/doc/why3-examples/examples/arm/why3session.xml
/usr/share/doc/why3-examples/examples/arm/why3shapes.gz
/usr/share/doc/why3-examples/examples/array_most_frequent
/usr/share/doc/why3-examples/examples/array_most_frequent.mlw
/usr/share/doc/why3-examples/examples/array_most_frequent/why3session.xml
/usr/share/doc/why3-examples/examples/array_most_frequent/why3shapes.gz
/usr/share/doc/why3-examples/examples/array_of_list
/usr/share/doc/why3-examples/examples/array_of_list.mlw
/usr/share/doc/why3-examples/examples/array_of_list/why3session.xml
/usr/share/doc/why3-examples/examples/array_of_list/why3shapes.gz
/usr/share/doc/why3-examples/examples/assigning_meanings_to_programs
/usr/share/doc/why3-examples/examples/assigning_meanings_to_programs.mlw
/usr/share/doc/why3-examples/examples/assigning_meanings_to_programs/why3session.xml
/usr/share/doc/why3-examples/examples/assigning_meanings_to_programs/why3shapes.gz
/usr/share/doc/why3-examples/examples/avl
/usr/share/doc/why3-examples/examples/avl/avl
/usr/share/doc/why3-examples/examples/avl/avl.mlw
/usr/share/doc/why3-examples/examples/avl/avl/why3session.xml
/usr/share/doc/why3-examples/examples/avl/avl/why3shapes.gz
/usr/share/doc/why3-examples/examples/avl/key_type
/usr/share/doc/why3-examples/examples/avl/key_type.mlw
/usr/share/doc/why3-examples/examples/avl/key_type/why3session.xml
/usr/share/doc/why3-examples/examples/avl/key_type/why3shapes.gz
/usr/share/doc/why3-examples/examples/avl/monoid
/usr/share/doc/why3-examples/examples/avl/monoid.mlw
/usr/share/doc/why3-examples/examples/avl/monoid/why3session.xml
/usr/share/doc/why3-examples/examples/avl/monoid/why3shapes.gz
/usr/share/doc/why3-examples/examples/avl/preorder
/usr/share/doc/why3-examples/examples/avl/preorder.mlw
/usr/share/doc/why3-examples/examples/avl/preorder/why3session.xml
/usr/share/doc/why3-examples/examples/avl/preorder/why3shapes.gz
/usr/share/doc/why3-examples/examples/avl/priority_queue
/usr/share/doc/why3-examples/examples/avl/priority_queue.mlw
/usr/share/doc/why3-examples/examples/avl/priority_queue/why3session.xml
/usr/share/doc/why3-examples/examples/avl/priority_queue/why3shapes.gz
/usr/share/doc/why3-examples/examples/avl/ral
/usr/share/doc/why3-examples/examples/avl/ral.mlw
/usr/share/doc/why3-examples/examples/avl/ral/why3session.xml
/usr/share/doc/why3-examples/examples/avl/ral/why3shapes.gz
/usr/share/doc/why3-examples/examples/avl/tables
/usr/share/doc/why3-examples/examples/avl/tables.mlw
/usr/share/doc/why3-examples/examples/avl/tables/why3session.xml
/usr/share/doc/why3-examples/examples/avl/tables/why3shapes.gz
/usr/share/doc/why3-examples/examples/bag
/usr/share/doc/why3-examples/examples/bag.mlw
/usr/share/doc/why3-examples/examples/bag/why3session.xml
/usr/share/doc/why3-examples/examples/bag/why3shapes.gz
/usr/share/doc/why3-examples/examples/balance
/usr/share/doc/why3-examples/examples/balance.mlw
/usr/share/doc/why3-examples/examples/balance/why3session.xml
/usr/share/doc/why3-examples/examples/balance/why3shapes.gz
/usr/share/doc/why3-examples/examples/bellman_ford
/usr/share/doc/why3-examples/examples/bellman_ford.mlw
/usr/share/doc/why3-examples/examples/bellman_ford/why3session.xml
/usr/share/doc/why3-examples/examples/bellman_ford/why3shapes.gz
/usr/share/doc/why3-examples/examples/bench.sh
/usr/share/doc/why3-examples/examples/bignum
/usr/share/doc/why3-examples/examples/bignum.mlw
/usr/share/doc/why3-examples/examples/bignum/why3session.xml
/usr/share/doc/why3-examples/examples/bignum/why3shapes.gz
/usr/share/doc/why3-examples/examples/binary_multiplication
/usr/share/doc/why3-examples/examples/binary_multiplication.mlw
/usr/share/doc/why3-examples/examples/binary_multiplication/why3session.xml
/usr/share/doc/why3-examples/examples/binary_multiplication/why3shapes.gz
/usr/share/doc/why3-examples/examples/binary_search
/usr/share/doc/why3-examples/examples/binary_search.mlw
/usr/share/doc/why3-examples/examples/binary_search_vc_sp
/usr/share/doc/why3-examples/examples/binary_search_vc_sp.mlw
/usr/share/doc/why3-examples/examples/binary_search_vc_sp/why3session.xml
/usr/share/doc/why3-examples/examples/binary_search_vc_sp/why3shapes.gz
/usr/share/doc/why3-examples/examples/binary_search/why3session.xml
/usr/share/doc/why3-examples/examples/binary_search/why3shapes.gz
/usr/share/doc/why3-examples/examples/binary_sort
/usr/share/doc/why3-examples/examples/binary_sort.mlw
/usr/share/doc/why3-examples/examples/binary_sort/why3session.xml
/usr/share/doc/why3-examples/examples/binary_sort/why3shapes.gz
/usr/share/doc/why3-examples/examples/binary_sqrt
/usr/share/doc/why3-examples/examples/binary_sqrt.mlw
/usr/share/doc/why3-examples/examples/binary_sqrt/why3session.xml
/usr/share/doc/why3-examples/examples/binary_sqrt/why3shapes.gz
/usr/share/doc/why3-examples/examples/binomial
/usr/share/doc/why3-examples/examples/binomial_heap
/usr/share/doc/why3-examples/examples/binomial_heap.mlw
/usr/share/doc/why3-examples/examples/binomial_heap/why3session.xml
/usr/share/doc/why3-examples/examples/binomial_heap/why3shapes.gz
/usr/share/doc/why3-examples/examples/binomial.mlw
/usr/share/doc/why3-examples/examples/binomial/why3session.xml
/usr/share/doc/why3-examples/examples/binomial/why3shapes.gz
/usr/share/doc/why3-examples/examples/bitcount
/usr/share/doc/why3-examples/examples/bitcount.mlw
/usr/share/doc/why3-examples/examples/bitcount/why3session.xml
/usr/share/doc/why3-examples/examples/bitcount/why3shapes.gz
/usr/share/doc/why3-examples/examples/bitvector_examples
/usr/share/doc/why3-examples/examples/bitvector_examples.mlw
/usr/share/doc/why3-examples/examples/bitvector_examples/why3session.xml
/usr/share/doc/why3-examples/examples/bitvector_examples/why3shapes.gz
/usr/share/doc/why3-examples/examples/bitvectors
/usr/share/doc/why3-examples/examples/bitvectors/bitvector
/usr/share/doc/why3-examples/examples/bitvectors/bitvector.why
/usr/share/doc/why3-examples/examples/bitvectors/bitvector/why3session.xml
/usr/share/doc/why3-examples/examples/bitvectors/bitvector/why3shapes.gz
/usr/share/doc/why3-examples/examples/bitvectors/double
/usr/share/doc/why3-examples/examples/bitvectors/double/double_TestDouble_exp_one_1.v
/usr/share/doc/why3-examples/examples/bitvectors/double_of_int
/usr/share/doc/why3-examples/examples/bitvectors/double_of_int/double_of_int_DoubleOfInt_exp_const_1.v
/usr/share/doc/why3-examples/examples/bitvectors/double_of_int/double_of_int_DoubleOfInt_from_int2c_to_nat_sub_neg_1.v
/usr/share/doc/why3-examples/examples/bitvectors/double_of_int/double_of_int_DoubleOfInt_from_int2c_to_nat_sub_pos_1.v
/usr/share/doc/why3-examples/examples/bitvectors/double_of_int.why
/usr/share/doc/why3-examples/examples/bitvectors/double_of_int/why3session.xml
/usr/share/doc/why3-examples/examples/bitvectors/double_of_int/why3shapes.gz
/usr/share/doc/why3-examples/examples/bitvectors/double.why
/usr/share/doc/why3-examples/examples/bitvectors/double/why3session.xml
/usr/share/doc/why3-examples/examples/bitvectors/double/why3shapes.gz
/usr/share/doc/why3-examples/examples/bitvectors/neg_as_xor
/usr/share/doc/why3-examples/examples/bitvectors/neg_as_xor.why
/usr/share/doc/why3-examples/examples/bitvectors/neg_as_xor/why3session.xml
/usr/share/doc/why3-examples/examples/bitvectors/neg_as_xor/why3shapes.gz
/usr/share/doc/why3-examples/examples/bitvectors/power2
/usr/share/doc/why3-examples/examples/bitvectors/power2.why
/usr/share/doc/why3-examples/examples/bitvectors/power2/why3session.xml
/usr/share/doc/why3-examples/examples/bitvectors/power2/why3shapes.gz
/usr/share/doc/why3-examples/examples/bitwalker
/usr/share/doc/why3-examples/examples/bitwalker.mlw
/usr/share/doc/why3-examples/examples/bitwalker/why3session.xml
/usr/share/doc/why3-examples/examples/bitwalker/why3shapes.gz
/usr/share/doc/why3-examples/examples/braun_trees
/usr/share/doc/why3-examples/examples/braun_trees.mlw
/usr/share/doc/why3-examples/examples/braun_trees/why3session.xml
/usr/share/doc/why3-examples/examples/braun_trees/why3shapes.gz
/usr/share/doc/why3-examples/examples/bresenham
/usr/share/doc/why3-examples/examples/bresenham/bresenham_M_closest_1.v
/usr/share/doc/why3-examples/examples/bresenham.mlw
/usr/share/doc/why3-examples/examples/bresenham/why3session.xml
/usr/share/doc/why3-examples/examples/bresenham/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts
/usr/share/doc/why3-examples/examples/bts/101_eprover_eliminate_range_literal.mlw
/usr/share/doc/why3-examples/examples/bts/114_infix
/usr/share/doc/why3-examples/examples/bts/114_infix.mlw
/usr/share/doc/why3-examples/examples/bts/114_infix/why3session.xml
/usr/share/doc/why3-examples/examples/bts/114_infix/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/116_array_access
/usr/share/doc/why3-examples/examples/bts/116_array_access.mlw
/usr/share/doc/why3-examples/examples/bts/116_array_access/why3session.xml
/usr/share/doc/why3-examples/examples/bts/116_array_access/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/12445.mlw
/usr/share/doc/why3-examples/examples/bts/12475
/usr/share/doc/why3-examples/examples/bts/12475.why
/usr/share/doc/why3-examples/examples/bts/12475/why3session.xml
/usr/share/doc/why3-examples/examples/bts/12475/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/126_apply
/usr/share/doc/why3-examples/examples/bts/126_apply.mlw
/usr/share/doc/why3-examples/examples/bts/126_apply/why3session.xml
/usr/share/doc/why3-examples/examples/bts/126_apply/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/12934
/usr/share/doc/why3-examples/examples/bts/12934/12934_BTS12934_t_1.v
/usr/share/doc/why3-examples/examples/bts/12934.why
/usr/share/doc/why3-examples/examples/bts/12934/why3session.xml
/usr/share/doc/why3-examples/examples/bts/12934/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/13002.why
/usr/share/doc/why3-examples/examples/bts/130_extraction.mlw
/usr/share/doc/why3-examples/examples/bts/13375
/usr/share/doc/why3-examples/examples/bts/13375.mlw
/usr/share/doc/why3-examples/examples/bts/13375/why3session.xml
/usr/share/doc/why3-examples/examples/bts/13375/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/13515.mlw
/usr/share/doc/why3-examples/examples/bts/138
/usr/share/doc/why3-examples/examples/bts/13849
/usr/share/doc/why3-examples/examples/bts/13849/13849_T_x_2.v
/usr/share/doc/why3-examples/examples/bts/13849.why
/usr/share/doc/why3-examples/examples/bts/13849/why3session.xml
/usr/share/doc/why3-examples/examples/bts/13849/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/13853
/usr/share/doc/why3-examples/examples/bts/13853a.mlw
/usr/share/doc/why3-examples/examples/bts/13853b.mlw
/usr/share/doc/why3-examples/examples/bts/13853.mlw
/usr/share/doc/why3-examples/examples/bts/13853/why3session.xml
/usr/share/doc/why3-examples/examples/bts/13853/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/13854
/usr/share/doc/why3-examples/examples/bts/13854/13854_T_g_1.v
/usr/share/doc/why3-examples/examples/bts/13854/13854_T_x_1.v
/usr/share/doc/why3-examples/examples/bts/13854.why
/usr/share/doc/why3-examples/examples/bts/13854/why3session.xml
/usr/share/doc/why3-examples/examples/bts/13854/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/138.mlw
/usr/share/doc/why3-examples/examples/bts/138/why3session.xml
/usr/share/doc/why3-examples/examples/bts/138/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/14097.mlw
/usr/share/doc/why3-examples/examples/bts/16972
/usr/share/doc/why3-examples/examples/bts/16972.mlw
/usr/share/doc/why3-examples/examples/bts/16972/why3session.xml
/usr/share/doc/why3-examples/examples/bts/16972/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/16_subst
/usr/share/doc/why3-examples/examples/bts/16_subst.mlw
/usr/share/doc/why3-examples/examples/bts/16_subst/why3session.xml
/usr/share/doc/why3-examples/examples/bts/16_subst/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/17137.mlw
/usr/share/doc/why3-examples/examples/bts/17184.mlw
/usr/share/doc/why3-examples/examples/bts/185_apply
/usr/share/doc/why3-examples/examples/bts/185_apply_let
/usr/share/doc/why3-examples/examples/bts/185_apply_let.mlw
/usr/share/doc/why3-examples/examples/bts/185_apply_let/why3session.xml
/usr/share/doc/why3-examples/examples/bts/185_apply_let/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/185_apply.mlw
/usr/share/doc/why3-examples/examples/bts/185_apply/why3session.xml
/usr/share/doc/why3-examples/examples/bts/185_apply/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/18953.why
/usr/share/doc/why3-examples/examples/bts/19_apply_with
/usr/share/doc/why3-examples/examples/bts/19_apply_with.mlw
/usr/share/doc/why3-examples/examples/bts/19_apply_with/why3session.xml
/usr/share/doc/why3-examples/examples/bts/19_apply_with/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/20445
/usr/share/doc/why3-examples/examples/bts/20445.mlw
/usr/share/doc/why3-examples/examples/bts/20445/why3session.xml
/usr/share/doc/why3-examples/examples/bts/20445/why3shapes.gz

Field source: Fedora 44 Everything x86_64

Use this package

OpenFactory can boot this operating system in a browser VM, or start a build that includes the native package name from this record.

Try Fedora 44 in the browser Build an image that includes why3-examples

Versions, suites, and repositories

Each row is recorded package-index metadata for one version, architecture, suite, and repository. Names, URLs, and sizes are source-reported; a link is a potentially mutable retrieval location, not an OpenFactory redistribution claim or proof that OpenFactory retained the artifact bytes.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
1.8.2-9.fc44	44 / everything	noarch	Fedora 44 · Everything · x86_64	4.5 MiB	17 MiB	Packages/w/why3-examples-1.8.2-9.fc44.noarch.rpm
1.8.2-9.fc44	44 / everything	noarch	Fedora 44 · Everything · aarch64	4.5 MiB	17 MiB	Packages/w/why3-examples-1.8.2-9.fc44.noarch.rpm
1.8.2-10.fc44	44 / updates	noarch	Fedora 44 · updates · x86_64	4.5 MiB	17 MiB	Packages/w/why3-examples-1.8.2-10.fc44.noarch.rpm
1.8.2-10.fc44	44 / updates	noarch	Fedora 44 · updates · aarch64	4.5 MiB	17 MiB	Packages/w/why3-examples-1.8.2-10.fc44.noarch.rpm

Field source: Fedora 44 Everything x86_64

Known vulnerabilities

No matching advisories in the tracked sources.

Last synced: Oct 29, 2026, 8:11:38 PM UTC

[CVE catalog]

Checksums

Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.

1.8.2-9.fc44 / noarchObserved Sep 1, 2026sha256 5e16279b2b30…a8fffcfbSource-reported digest

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported digest (sha256): 5e16279b2b30abc28e95a6273dfe82504464fc5d484431851d72b4d7a8fffcfb

Verify download

printf '%s  %s\n' '5e16279b2b30abc28e95a6273dfe82504464fc5d484431851d72b4d7a8fffcfb' 'why3-examples-1.8.2-9.fc44.noarch.rpm' | sha256sum --check --strict -

Field source: Fedora 44 Everything x86_64

1.8.2-9.fc44 / noarchObserved Sep 1, 2026sha256 5e16279b2b30…a8fffcfbSource-reported digest

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported digest (sha256): 5e16279b2b30abc28e95a6273dfe82504464fc5d484431851d72b4d7a8fffcfb

Verify download

printf '%s  %s\n' '5e16279b2b30abc28e95a6273dfe82504464fc5d484431851d72b4d7a8fffcfb' 'why3-examples-1.8.2-9.fc44.noarch.rpm' | sha256sum --check --strict -

Field source: Fedora 44 Everything aarch64

1.8.2-10.fc44 / noarchObserved Sep 1, 2026sha256 b663fd1d364e…44d1119dSource-reported digest

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported digest (sha256): b663fd1d364ec4ca7360b266a531f961e55406f897481e054f0d285144d1119d

Verify download

printf '%s  %s\n' 'b663fd1d364ec4ca7360b266a531f961e55406f897481e054f0d285144d1119d' 'why3-examples-1.8.2-10.fc44.noarch.rpm' | sha256sum --check --strict -

Field source: Fedora 44 updates x86_64

1.8.2-10.fc44 / noarchObserved Sep 1, 2026sha256 b663fd1d364e…44d1119dSource-reported digest

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported digest (sha256): b663fd1d364ec4ca7360b266a531f961e55406f897481e054f0d285144d1119d

Verify download

printf '%s  %s\n' 'b663fd1d364ec4ca7360b266a531f961e55406f897481e054f0d285144d1119d' 'why3-examples-1.8.2-10.fc44.noarch.rpm' | sha256sum --check --strict -

Field source: Fedora 44 updates aarch64

Sources

Fedora 44 Everything aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified
Signature evidence
44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=fedora-44&arch=aarch64
Signed-object SHA-256
236514c32119ab3c85b81fbb9e5e9d92b07aeba0d19d64c9b4fc9117a1863769
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
Repository metadata hash linkage
Result
Recorded as verified; digest details unavailable
Fedora 44 Everything x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified
Signature evidence
44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=fedora-44&arch=x86_64
Signed-object SHA-256
1300b99ac5d04b5561ad901320c8bd59ed1553f4971c3ce2ca48c40242c66676
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
Repository metadata hash linkage
Result
Recorded as verified; digest details unavailable
Fedora 44 updates aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified
Signature evidence
44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=updates-released-f44&arch=aarch64
Signed-object SHA-256
2ec0ba92e556309075d8efe3c3301b36bb7ecd47c4e17566f0192c9c5436ed5f
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
Repository metadata hash linkage
Result
Recorded as verified; digest details unavailable
Fedora 44 updates x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified
Signature evidence
44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=updates-released-f44&arch=x86_64
Signed-object SHA-256
a69a0ab020457a7af2515066b7caccb3950bcf9dc7bedb52b1850098d9857ae1
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
Repository metadata hash linkage
Result
Recorded as verified; digest details unavailable