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 Шляхи файлів пакета (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
Використати цей пакет OpenFactory може завантажити цю операційну систему у віртуальній машині браузера або почати збірку образу з рідною назвою пакета з цього запису.
Версії, набори та репозиторії Кожен рядок: метадані індексу пакетів для однієї версії, архітектури, набору й репозиторію. Назви, URL і розміри зі джерела; посилання є змінним місцем отримання, не перерозповсюдженням OpenFactory.
Відомі вразливості У відстежуваних джерелах немає відповідних повідомлень.
Остання синхронізація: Oct 29, 2026, 11:16:30 PM UTC
[Каталог CVE ]
Контрольні суми Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.
1.8.2-1.fc43 / noarch Спостережено Sep 1, 2026 sha256 8ea96676fff7…4354dc1cКонтрольна сума джерела Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.
Контрольна сума джерела (sha256): 8ea96676fff7d690ee35bb64396730f93809784d087c033f883fa4ad4354dc1c
Перевірити завантаження
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 Спостережено Sep 1, 2026 sha256 8ea96676fff7…4354dc1cКонтрольна сума джерела Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.
Контрольна сума джерела (sha256): 8ea96676fff7d690ee35bb64396730f93809784d087c033f883fa4ad4354dc1c
Перевірити завантаження
printf '%s %s\n' '8ea96676fff7d690ee35bb64396730f93809784d087c033f883fa4ad4354dc1c' 'why3-proofgeneral-1.8.2-1.fc43.noarch.rpm' | sha256sum --check --strict -Field source: Fedora 43 Everything aarch64
