frama-c-xemacs-16.0-2.fc29.noarch.rpm


Advertisement

Description

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

Property Value
Distribution Fedora 29
Repository Fedora i386
Package filename frama-c-xemacs-16.0-2.fc29.noarch.rpm
Package name frama-c-xemacs
Package version 16.0
Package release 2.fc29
Package architecture noarch
Package type rpm
Homepage http://frama-c.com/
License LGPLv2
Maintainer -
Download size 17.96 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-16.0-2.fc29.noarch.rpm 16.0 noarch Fedora
frama-c-xemacs - - -

Requires

Name Value
frama-c = 16.0-2.fc29
xemacs(bin) -
xemacs-packages-extra -

Provides

Name Value
frama-c-xemacs = 16.0-2.fc29

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package frama-c-xemacs-16.0-2.fc29.noarch.rpm
Source Package frama-c-16.0-2.fc29.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

2018-07-13 - Fedora Release Engineering <releng@fedoraproject.org> - 16.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-02-12 - Jerry James <loganjerry@gmail.com> - 16.0-1
- Update to Sulfur version
- Drop upstreamed -safe-string patch
2018-02-07 - Fedora Release Engineering <releng@fedoraproject.org> - 15.0-8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2018-01-11 - Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 15.0-7
- Remove obsolete scriptlets
2017-12-09 - Jerry James <loganjerry@gmail.com> - 15.0-6
- Rebuild for why3 0.88.2
2017-12-04 - Jerry James <loganjerry@gmail.com> - 15.0-5
- Rebuild for mlgmpidl
2017-11-17 - Richard W.M. Jones <rjones@redhat.com> - 15.0-4
- OCaml 4.06.0 rebuild.
2017-10-07 - Jerry James <loganjerry@gmail.com> - 15.0-3
- Rebuild for why3 0.88.0
2017-09-12 - Jerry James <loganjerry@gmail.com> - 15.0-2
- More excludes so that provides match requires
2017-09-07 - Jerry James <loganjerry@gmail.com> - 15.0-1
- Update to Phosphorus version
- Switch to new upstream version numbering scheme
- Install the bash completion file

See Also

Package Description
free42-1.4.77-1.fc24.i686.rpm 42S Calculator Simulator
freeDiameter-1.2.0-14.fc29.i686.rpm A Diameter protocol open implementation
freeDiameter-devel-1.2.0-14.fc29.i686.rpm Library for freeDiameter package
freealut-1.1.0-26.fc29.i686.rpm Implementation of OpenAL's ALUT standard
freealut-devel-1.1.0-26.fc29.i686.rpm Development files for freealut
freecad-0.17-0.1.pre.fc29.i686.rpm A general purpose 3D CAD modeler
freecad-data-0.17-0.1.pre.fc29.noarch.rpm Data files for FreeCAD
freeciv-2.6.0-2.fc29.i686.rpm A multi-player strategy game
freecol-0.11.6-8.fc29.noarch.rpm Turn-based multi-player strategy game
freecol-imperator-fonts-0.11.6-8.fc29.noarch.rpm Gothic font
freecol-manual-0.11.6-8.fc29.noarch.rpm User Documentation for freecol
freecol-shadowedblack-fonts-0.11.6-8.fc29.noarch.rpm Gothic font with drop shadows
freecolor-0.9.3-8.fc29.i686.rpm Display memory information graphically
freediams-0.9.4-12.fc29.i686.rpm The pharmaceutical prescription assistant
freediams-docs-en-0.9.4-12.fc29.noarch.rpm English documentation for freediams
Advertisement
Advertisement