Packages / Fedora 44 / Unspecified / why3-all

[Source: why3]

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

Complete Why3 software verification platform suite

This package provides a complete software verification platform suite based on Why3, including various automated and interactive provers.

Other Packages Related to why3-all:

  • dep: [E]

    Equational Theorem Prover

  • dep: [alt-ergo]

    Automated theorem prover including linear arithmetic

  • dep: coq

    Package not available

  • dep: [cvc5]

    Automatic theorem prover for SMT problems

  • dep: [gappa]

    Prove programs with floating-point or fixed-point arithmetic

  • dep: why3(aarch-64) (= 1.8.2-9.fc44)

    Package not available

  • dep: [yices-tools]

    Command line tools that use the yices library

  • dep: [z3]

    Satisfiability Modulo Theories (SMT) solver

  • dep: [zenon]

    Automated theorem prover for first-order classical logic

Download why3-all

ArchitecturePackage sizeInstalled sizeFilesPackage
aarch649.6 KiB0 Blist of filesDownload
x86_649.7 KiB0 Blist of filesDownload

Package file paths (0)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

No package-associated file paths were observed for the displayed build metadata.

Field source: Fedora 44 Everything aarch64

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 browserBuild an image that includes why3-all

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.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
1.8.2-9.fc4444 / everythingaarch64Fedora 44 · Everything · aarch649.6 KiB0 BPackages/w/why3-all-1.8.2-9.fc44.aarch64.rpm
1.8.2-9.fc4444 / everythingx86_64Fedora 44 · Everything · x86_649.7 KiB0 BPackages/w/why3-all-1.8.2-9.fc44.x86_64.rpm
1.8.2-10.fc4444 / updatesaarch64Fedora 44 · updates · aarch649.6 KiB0 BPackages/w/why3-all-1.8.2-10.fc44.aarch64.rpm
1.8.2-10.fc4444 / updatesx86_64Fedora 44 · updates · x86_649.7 KiB0 BPackages/w/why3-all-1.8.2-10.fc44.x86_64.rpm

Field source: Fedora 44 Everything aarch64

Known vulnerabilities

No matching advisories in the tracked sources.

Last synced:

[CVE catalog]

Checksums

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

1.8.2-9.fc44 / aarch64Observed Sep 1, 2026sha256 79f9e51f7287…a7c89f10Source-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): 79f9e51f7287790d5fa86fb4976b0a21e99ea792510b0039be7cb00ca7c89f10

Verify download

printf '%s %s\n' '79f9e51f7287790d5fa86fb4976b0a21e99ea792510b0039be7cb00ca7c89f10' 'why3-all-1.8.2-9.fc44.aarch64.rpm' | sha256sum --check --strict -

Field source: Fedora 44 Everything aarch64

1.8.2-9.fc44 / x86_64Observed Sep 1, 2026sha256 e961f5fa12c0…521d0034Source-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): e961f5fa12c095046619a04d0fe04893f7c156b3456b22850dca6c2b521d0034

Verify download

printf '%s %s\n' 'e961f5fa12c095046619a04d0fe04893f7c156b3456b22850dca6c2b521d0034' 'why3-all-1.8.2-9.fc44.x86_64.rpm' | sha256sum --check --strict -

Field source: Fedora 44 Everything x86_64

1.8.2-10.fc44 / aarch64Observed Sep 1, 2026sha256 c4525092cb2e…3094d2c6Source-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): c4525092cb2e21f8149cfc96ae4331eb6e2b916beb967bf053a451483094d2c6

Verify download

printf '%s %s\n' 'c4525092cb2e21f8149cfc96ae4331eb6e2b916beb967bf053a451483094d2c6' 'why3-all-1.8.2-10.fc44.aarch64.rpm' | sha256sum --check --strict -

Field source: Fedora 44 updates aarch64

1.8.2-10.fc44 / x86_64Observed Sep 1, 2026sha256 a985af049321…d52e68faSource-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): a985af0493216ae7a7ac57f37744121b2af4b14fe80ce03dc63afdbed52e68fa

Verify download

printf '%s %s\n' 'a985af0493216ae7a7ac57f37744121b2af4b14fe80ce03dc63afdbed52e68fa' 'why3-all-1.8.2-10.fc44.x86_64.rpm' | sha256sum --check --strict -

Field source: Fedora 44 updates x86_64

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