Packages / Fedora 44 / Unspecified / why3-emacs

[Source: why3]

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

Emacs support file for why3 files

This package contains an Emacs support file for working with why3 files.

Other Packages Related to why3-emacs:

  • dep: emacs(bin)

    Package not available

  • dep: [why3] (= 1.8.2-9.fc44)

    Software verification platform

Download why3-emacs

ArchitecturePackage sizeInstalled sizeFilesPackage
noarch14 KiB12 KiBlist of filesDownload

Шляхи файлів пакета (2)

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/emacs/site-lisp/why3.el
  • /usr/share/emacs/site-lisp/why3.elc

Field source: Fedora 44 Everything x86_64

Використати цей пакет

OpenFactory може завантажити цю операційну систему у віртуальній машині браузера або почати збірку образу з рідною назвою пакета з цього запису.

Спробувати Fedora 44 у браузеріЗібрати образ, що містить why3-emacs

Версії, набори та репозиторії

Кожен рядок: метадані індексу пакетів для однієї версії, архітектури, набору й репозиторію. Назви, URL і розміри зі джерела; посилання є змінним місцем отримання, не перерозповсюдженням OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
1.8.2-9.fc4444 / everythingnoarchFedora 44 · Everything · x86_6414 KiB12 KiBPackages/w/why3-emacs-1.8.2-9.fc44.noarch.rpm
1.8.2-9.fc4444 / everythingnoarchFedora 44 · Everything · aarch6414 KiB12 KiBPackages/w/why3-emacs-1.8.2-9.fc44.noarch.rpm
1.8.2-10.fc4444 / updatesnoarchFedora 44 · updates · x86_6414 KiB12 KiBPackages/w/why3-emacs-1.8.2-10.fc44.noarch.rpm
1.8.2-10.fc4444 / updatesnoarchFedora 44 · updates · aarch6414 KiB12 KiBPackages/w/why3-emacs-1.8.2-10.fc44.noarch.rpm

Field source: Fedora 44 Everything x86_64

Відомі вразливості

У відстежуваних джерелах немає відповідних повідомлень.

Остання синхронізація:

[Каталог CVE]

Контрольні суми

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

1.8.2-9.fc44 / noarchСпостережено Sep 1, 2026sha256 88bb0e4cb7da…505e6eb5Контрольна сума джерела

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

Контрольна сума джерела (sha256): 88bb0e4cb7dab163a387cce2958f6bccc9b5eab5020a66eac7c2c508505e6eb5

Перевірити завантаження

printf '%s %s\n' '88bb0e4cb7dab163a387cce2958f6bccc9b5eab5020a66eac7c2c508505e6eb5' 'why3-emacs-1.8.2-9.fc44.noarch.rpm' | sha256sum --check --strict -

Field source: Fedora 44 Everything x86_64

1.8.2-9.fc44 / noarchСпостережено Sep 1, 2026sha256 88bb0e4cb7da…505e6eb5Контрольна сума джерела

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

Контрольна сума джерела (sha256): 88bb0e4cb7dab163a387cce2958f6bccc9b5eab5020a66eac7c2c508505e6eb5

Перевірити завантаження

printf '%s %s\n' '88bb0e4cb7dab163a387cce2958f6bccc9b5eab5020a66eac7c2c508505e6eb5' 'why3-emacs-1.8.2-9.fc44.noarch.rpm' | sha256sum --check --strict -

Field source: Fedora 44 Everything aarch64

1.8.2-10.fc44 / noarchСпостережено Sep 1, 2026sha256 ffacf47e2a66…d5b7a896Контрольна сума джерела

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

Контрольна сума джерела (sha256): ffacf47e2a663af0b93a9282d269ea710772b646998e748beea976d4d5b7a896

Перевірити завантаження

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

Field source: Fedora 44 updates x86_64

1.8.2-10.fc44 / noarchСпостережено Sep 1, 2026sha256 ffacf47e2a66…d5b7a896Контрольна сума джерела

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

Контрольна сума джерела (sha256): ffacf47e2a663af0b93a9282d269ea710772b646998e748beea976d4d5b7a896

Перевірити завантаження

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

Field source: Fedora 44 updates aarch64

Джерела

  • Fedora 44 Everything aarch64Sep 1, 2026

    Authoritative source; repository metadata signature verified

    Доказ підпису

    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

    Доказ підпису

    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

    Доказ підпису

    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

    Доказ підпису

    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