Package: why3-proofgeneral (1.8.2-1.fc43) Why3 integration with ProofGeneral This package provides a why3 plugin for ProofGeneral.
Other Packages Related to why3-proofgeneral: [emacs-proofgeneral ]
Compiled elisp files to run Proof General under GNU Emacs
[why3 ] (= 1.8.2-1.fc43)
Software verification platform
Download why3-proofgeneral Package file paths (4) 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.
/usr/share/doc/why3-proofgeneral /usr/share/doc/why3-proofgeneral/README /usr/share/emacs/site-lisp/whyitp.el /usr/share/emacs/site-lisp/whyitp.elc Field source: Fedora 43 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.
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.
Known vulnerabilities No matching advisories in the tracked sources.
Last synced: Oct 29, 2026, 8:12:57 PM UTC
[CVE catalog ]
Checksums Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.
1.8.2-1.fc43 / noarch Observed Sep 1, 2026 sha256 8ea96676fff7…4354dc1cSource-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): 8ea96676fff7d690ee35bb64396730f93809784d087c033f883fa4ad4354dc1c
Verify download
printf '%s %s\n' '8ea96676fff7d690ee35bb64396730f93809784d087c033f883fa4ad4354dc1c' 'why3-proofgeneral-1.8.2-1.fc43.noarch.rpm' | sha256sum --check --strict -Field source: Fedora 43 Everything x86_64
1.8.2-1.fc43 / noarch Observed Sep 1, 2026 sha256 8ea96676fff7…4354dc1cSource-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): 8ea96676fff7d690ee35bb64396730f93809784d087c033f883fa4ad4354dc1c
Verify download
printf '%s %s\n' '8ea96676fff7d690ee35bb64396730f93809784d087c033f883fa4ad4354dc1c' 'why3-proofgeneral-1.8.2-1.fc43.noarch.rpm' | sha256sum --check --strict -Field source: Fedora 43 Everything aarch64
