frama-c-emacs-19.1-3.fc31.noarch.rpm


Advertisement

Description

frama-c-emacs - Emacs support file for ACSL markup

Property Value
Distribution Fedora 31
Repository Fedora Updates x86_64 Official
Package filename frama-c-emacs-19.1-3.fc31.noarch.rpm
Package name frama-c-emacs
Package version 19.1
Package release 3.fc31
Package architecture noarch
Package type rpm
Homepage http://frama-c.com/
License LGPLv2
Maintainer -
Download size 17.42 KB
Installed size 30.35 KB
This package contains an Emacs support file for working with C source
files marked up with ACSL.

Alternatives

Package Version Architecture Repository
frama-c-emacs-19.1-3.fc31.noarch.rpm 19.1 noarch Fedora Updates Official
frama-c-emacs-19.1-3.fc31.noarch.rpm 19.1 noarch Fedora Updates Official
frama-c-emacs-19.1-1.fc31.noarch.rpm 19.1 noarch Fedora Official
frama-c-emacs-19.1-1.fc31.noarch.rpm 19.1 noarch Fedora Official
frama-c-emacs-19.1-1.fc31.noarch.rpm 19.1 noarch Fedora Official
frama-c-emacs-19.1-1.fc31.noarch.rpm 19.1 noarch Fedora Updates Testing Official
frama-c-emacs-19.1-1.fc31.noarch.rpm 19.1 noarch Fedora Updates Testing Official
frama-c-emacs-19.1-1.fc31.noarch.rpm 19.1 noarch Fedora Updates Testing Official
frama-c-emacs All All All

Requires

Name Value
emacs(bin) -
frama-c = 19.1-3.fc31

Provides

Name Value
frama-c-emacs = 19.1-3.fc31

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package frama-c-emacs-19.1-3.fc31.noarch.rpm
Source Package frama-c-19.1-3.fc31.src.rpm

Install Howto

Install frama-c-emacs rpm package:

# dnf install frama-c-emacs

Files

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

Changelog

2019-10-29 - Jerry James <loganjerry@gmail.com> - 19.1-3
- Rebuild for why3 1.2.1
2019-10-11 - Jerry James <loganjerry@gmail.com> - 19.1-2
- Rebuild for ocaml-menhir 20190924
2019-09-23 - Jerry James <loganjerry@gmail.com> - 19.1-1
- Update to Potassium 19.1
2019-09-06 - Jerry James <loganjerry@gmail.com> - 19.0-3
- Unbundle flamegraph
- Install bash completions in the right place
2019-08-02 - Jerry James <loganjerry@gmail.com> - 19.0-2
- Fix list of filtered requires
2019-07-30 - Jerry James <loganjerry@gmail.com> - 19.0-1
- Update to Potassium version
2019-07-25 - Fedora Release Engineering <releng@fedoraproject.org> - 18.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
2019-06-05 - Jerry James <loganjerry@gmail.com> - 18.0-1
- Update to Argon version
2019-01-31 - Fedora Release Engineering <releng@fedoraproject.org> - 17.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
2019-01-26 - Jerry James <loganjerry@gmail.com> - 17.0-1
- Update to Chlorine version

See Also

Package Description
frama-c-xemacs-19.1-3.fc31.noarch.rpm XEmacs support file for ACSL markup
freecad-0.18.4-5.fc31.x86_64.rpm A general purpose 3D CAD modeler
freecad-data-0.18.4-5.fc31.noarch.rpm Data files for FreeCAD
freeciv-2.6.2-1.fc31.x86_64.rpm A multi-player strategy game
freeimage-3.18.0-6.fc31.i686.rpm Multi-format image decoder library
freeimage-3.18.0-6.fc31.x86_64.rpm Multi-format image decoder library
freeimage-devel-3.18.0-6.fc31.i686.rpm Development files for freeimage
freeimage-devel-3.18.0-6.fc31.x86_64.rpm Development files for freeimage
freeimage-plus-3.18.0-6.fc31.i686.rpm C++ wrapper for FreeImage
freeimage-plus-3.18.0-6.fc31.x86_64.rpm C++ wrapper for FreeImage
freeimage-plus-devel-3.18.0-6.fc31.i686.rpm Development files for freeimage-devel
freeimage-plus-devel-3.18.0-6.fc31.x86_64.rpm Development files for freeimage-devel
freeipa-client-4.8.4-2.fc31.x86_64.rpm IPA authentication for use on clients
freeipa-client-common-4.8.4-2.fc31.noarch.rpm Common files used by IPA client
freeipa-client-samba-4.8.4-2.fc31.x86_64.rpm Tools to configure Samba on IPA client
Advertisement
Advertisement