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


Advertisement

Description

frama-c-xemacs - XEmacs support file for ACSL markup

Property Value
Distribution Fedora 31
Repository Fedora Updates x86_64
Package filename frama-c-xemacs-19.1-3.fc31.noarch.rpm
Package name frama-c-xemacs
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.25 KB
Installed size 28.69 KB
This package contains an XEmacs support file for working with C source
files marked up with ACSL.

Alternatives

Package Version Architecture Repository
frama-c-xemacs-19.1-1.fc31.noarch.rpm 19.1 noarch Fedora
frama-c-xemacs-19.1-1.fc31.noarch.rpm 19.1 noarch Fedora Updates Testing
frama-c-xemacs - - -

Requires

Name Value
frama-c = 19.1-3.fc31
xemacs(bin) -
xemacs-packages-extra -

Provides

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

Download

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

Install Howto

Install frama-c-xemacs rpm package:

# dnf install frama-c-xemacs

Files

Path
/usr/share/xemacs/site-packages/lisp/acsl.el
/usr/share/xemacs/site-packages/lisp/acsl.elc
/usr/share/xemacs/site-packages/lisp/frama-c-dev.el
/usr/share/xemacs/site-packages/lisp/frama-c-dev.elc
/usr/share/xemacs/site-packages/lisp/frama-c-init.el
/usr/share/xemacs/site-packages/lisp/frama-c-init.elc
/usr/share/xemacs/site-packages/lisp/frama-c-recommended.el
/usr/share/xemacs/site-packages/lisp/frama-c-recommended.elc
/usr/share/xemacs/site-packages/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
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.1-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
freeipa-common-4.8.4-2.fc31.noarch.rpm Common files used by IPA
Advertisement
Advertisement