Package: why3-proofgeneral (1.8.2-9.fc44) 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-9.fc44)
Software verification platform
Download why3-proofgeneral Percorsi file del pacchetto (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 44 Everything x86_64
Usa questo pacchetto OpenFactory può avviare questo sistema operativo in una macchina virtuale del browser, o iniziare una costruzione che include il nome nativo del pacchetto di questo record.
Versioni, suite e repository Ogni riga è metadato dell'indice pacchetti per una versione, architettura, suite e repository. Nomi, URL e dimensioni arrivano dalla fonte; un link è un punto di recupero mutabile, non una redistribuzione OpenFactory.
Vulnerabilità note Nessun avviso corrispondente nelle fonti monitorate.
Ultima sincronizzazione: Oct 29, 2026, 10:04:52 PM UTC
[Catalogo CVE ]
Checksum Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.
1.8.2-9.fc44 / noarch Osservato Sep 1, 2026 sha256 90c10ed1e252…efe6dff6Impronta della fonte Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.
Impronta della fonte (sha256): 90c10ed1e2525ad9506a55e37ce84d9a4e0b14c2b7c1df5dcfcb4601efe6dff6
Verifica download
printf '%s %s\n' '90c10ed1e2525ad9506a55e37ce84d9a4e0b14c2b7c1df5dcfcb4601efe6dff6' 'why3-proofgeneral-1.8.2-9.fc44.noarch.rpm' | sha256sum --check --strict -Field source: Fedora 44 Everything x86_64
1.8.2-9.fc44 / noarch Osservato Sep 1, 2026 sha256 90c10ed1e252…efe6dff6Impronta della fonte Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.
Impronta della fonte (sha256): 90c10ed1e2525ad9506a55e37ce84d9a4e0b14c2b7c1df5dcfcb4601efe6dff6
Verifica download
printf '%s %s\n' '90c10ed1e2525ad9506a55e37ce84d9a4e0b14c2b7c1df5dcfcb4601efe6dff6' 'why3-proofgeneral-1.8.2-9.fc44.noarch.rpm' | sha256sum --check --strict -Field source: Fedora 44 Everything aarch64
1.8.2-10.fc44 / noarch Osservato Sep 1, 2026 sha256 5085cfde3adb…ca13c56fImpronta della fonte Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.
Impronta della fonte (sha256): 5085cfde3adb6fe0acca3c5519c546c226b6c9e16bbe139a87d7e365ca13c56f
Verifica download
printf '%s %s\n' '5085cfde3adb6fe0acca3c5519c546c226b6c9e16bbe139a87d7e365ca13c56f' 'why3-proofgeneral-1.8.2-10.fc44.noarch.rpm' | sha256sum --check --strict -Field source: Fedora 44 updates x86_64
1.8.2-10.fc44 / noarch Osservato Sep 1, 2026 sha256 5085cfde3adb…ca13c56fImpronta della fonte Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.
Impronta della fonte (sha256): 5085cfde3adb6fe0acca3c5519c546c226b6c9e16bbe139a87d7e365ca13c56f
Verifica download
printf '%s %s\n' '5085cfde3adb6fe0acca3c5519c546c226b6c9e16bbe139a87d7e365ca13c56f' 'why3-proofgeneral-1.8.2-10.fc44.noarch.rpm' | sha256sum --check --strict -Field source: Fedora 44 updates aarch64
Fonti Authoritative source; repository metadata signature verified
Prova della firma 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee
Repository-signature verification record
Signed-object SHA-256 236514c32119ab3c85b81fbb9e5e9d92b07aeba0d19d64c9b4fc9117a1863769
Keyring revision RPM-GPG-KEY-fedora-44-primarySHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy 1
Verification time Sep 1, 2026 Repository metadata hash linkage
Result Recorded as verified; digest details unavailable Authoritative source; repository metadata signature verified
Prova della firma 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991
Repository-signature verification record
Signed-object SHA-256 1300b99ac5d04b5561ad901320c8bd59ed1553f4971c3ce2ca48c40242c66676
Keyring revision RPM-GPG-KEY-fedora-44-primarySHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy 1
Verification time Sep 1, 2026 Repository metadata hash linkage
Result Recorded as verified; digest details unavailable Authoritative source; repository metadata signature verified
Prova della firma 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b
Repository-signature verification record
Signed-object SHA-256 2ec0ba92e556309075d8efe3c3301b36bb7ecd47c4e17566f0192c9c5436ed5f
Keyring revision RPM-GPG-KEY-fedora-44-primarySHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy 1
Verification time Sep 1, 2026 Repository metadata hash linkage
Result Recorded as verified; digest details unavailable Authoritative source; repository metadata signature verified
Prova della firma 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419
Repository-signature verification record
Signed-object SHA-256 a69a0ab020457a7af2515066b7caccb3950bcf9dc7bedb52b1850098d9857ae1
Keyring revision RPM-GPG-KEY-fedora-44-primarySHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy 1
Verification time Sep 1, 2026 Repository metadata hash linkage
Result Recorded as verified; digest details unavailable 