Packages / Fedora 44 / Unspecified / frama-c-emacs

[Source: frama-c]

Package: frama-c-emacs (33.0-1.fc44)

Emacs support file for ACSL markup

This package contains an Emacs support file for working with C source files marked up with ACSL.

Other Packages Related to frama-c-emacs:

  • dep: emacs(bin)

    Package not available

  • dep: [frama-c] (= 33.0-1.fc44)

    Framework for source code analysis of C software

Download frama-c-emacs

ArchitecturePackage sizeInstalled sizeFilesPackage
noarch19 KiB25 KiBlist of filesDownload

Percorsi file del pacchetto (9)

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/acsl.el
  • /usr/share/emacs/site-lisp/acsl.elc
  • /usr/share/emacs/site-lisp/frama-c-dev.el
  • /usr/share/emacs/site-lisp/frama-c-dev.elc
  • /usr/share/emacs/site-lisp/frama-c-init.el
  • /usr/share/emacs/site-lisp/frama-c-init.elc
  • /usr/share/emacs/site-lisp/frama-c-recommended.el
  • /usr/share/emacs/site-lisp/frama-c-recommended.elc
  • /usr/share/emacs/site-lisp/site-start.d/acsl.el

Field source: Fedora 44 updates 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.

Prova Fedora 44 nel browserCrea un'immagine che include frama-c-emacs

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.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
33.0-1.fc4444 / updatesnoarchFedora 44 · updates · x86_6419 KiB25 KiBPackages/f/frama-c-emacs-33.0-1.fc44.noarch.rpm
33.0-1.fc4444 / updatesnoarchFedora 44 · updates · aarch6419 KiB25 KiBPackages/f/frama-c-emacs-33.0-1.fc44.noarch.rpm
32.1-2.fc4444 / everythingnoarchFedora 44 · Everything · x86_6420 KiB25 KiBPackages/f/frama-c-emacs-32.1-2.fc44.noarch.rpm
32.1-2.fc4444 / everythingnoarchFedora 44 · Everything · aarch6420 KiB25 KiBPackages/f/frama-c-emacs-32.1-2.fc44.noarch.rpm

Field source: Fedora 44 updates x86_64

Vulnerabilità note

Nessun avviso corrispondente nelle fonti monitorate.

Ultima sincronizzazione:

[Catalogo CVE]

Checksum

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

33.0-1.fc44 / noarchOsservato Sep 1, 2026sha256 382845ba00d6…523854abImpronta 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): 382845ba00d69cb34caa93d41e412fd3b8345af11e174e7490c25ea0523854ab

Verifica download

printf '%s %s\n' '382845ba00d69cb34caa93d41e412fd3b8345af11e174e7490c25ea0523854ab' 'frama-c-emacs-33.0-1.fc44.noarch.rpm' | sha256sum --check --strict -

Field source: Fedora 44 updates x86_64

33.0-1.fc44 / noarchOsservato Sep 1, 2026sha256 382845ba00d6…523854abImpronta 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): 382845ba00d69cb34caa93d41e412fd3b8345af11e174e7490c25ea0523854ab

Verifica download

printf '%s %s\n' '382845ba00d69cb34caa93d41e412fd3b8345af11e174e7490c25ea0523854ab' 'frama-c-emacs-33.0-1.fc44.noarch.rpm' | sha256sum --check --strict -

Field source: Fedora 44 updates aarch64

32.1-2.fc44 / noarchOsservato Sep 1, 2026sha256 e073b5e7d886…95b36038Impronta 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): e073b5e7d886a1d5df949e1664333e6079a1903c2eac6cb85d98cd4795b36038

Verifica download

printf '%s %s\n' 'e073b5e7d886a1d5df949e1664333e6079a1903c2eac6cb85d98cd4795b36038' 'frama-c-emacs-32.1-2.fc44.noarch.rpm' | sha256sum --check --strict -

Field source: Fedora 44 Everything x86_64

32.1-2.fc44 / noarchOsservato Sep 1, 2026sha256 e073b5e7d886…95b36038Impronta 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): e073b5e7d886a1d5df949e1664333e6079a1903c2eac6cb85d98cd4795b36038

Verifica download

printf '%s %s\n' 'e073b5e7d886a1d5df949e1664333e6079a1903c2eac6cb85d98cd4795b36038' 'frama-c-emacs-32.1-2.fc44.noarch.rpm' | sha256sum --check --strict -

Field source: Fedora 44 Everything aarch64

Fonti

  • Fedora 44 Everything aarch64Sep 1, 2026

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

    Prova della firma

    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

    Prova della firma

    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

    Prova della firma

    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