frama-c-doc-1.10-0.20140301Neons.4.mga5.noarch.rpm


Advertisement

Description

frama-c-doc - Large documentation files for frama-c

Property Value
Distribution Mageia 5.1
Repository Mageia Core i586
Package name frama-c-doc
Package version 1.10
Package release 0.20140301Neons.4.mga5
Package architecture noarch
Package type rpm
Installed size 7.03 MB
Download size 4.08 MB
Official Mirror distrib-coffee.ipsl.jussieu.fr
Large documentation files for frama-c.

Alternatives

Package Version Architecture Repository
frama-c-doc-1.10-0.20140301Neons.4.mga5.noarch.rpm 1.10 noarch Mageia Core
frama-c-doc - - -

Requires

Name Value
frama-c == 1.10-0.20140301Neons.4.mga5

Provides

Name Value
frama-c-doc == 1.10-0.20140301Neons.4.mga5

Download

Type URL
Binary Package frama-c-doc-1.10-0.20140301Neons.4.mga5.noarch.rpm
Source Package frama-c-1.10-0.20140301Neons.4.mga5.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install frama-c-doc rpm package:
    # urpmi frama-c-doc

Files

Path
/usr/share/doc/frama-c-doc/acsl-implementation-Neon-20140301.pdf
/usr/share/doc/frama-c-doc/aorai-manual-Neon-20140301.pdf
/usr/share/doc/frama-c-doc/intro_kernel_plugin.txt
/usr/share/doc/frama-c-doc/intro_occurrence.txt
/usr/share/doc/frama-c-doc/intro_pdg.txt
/usr/share/doc/frama-c-doc/intro_plugin.txt
/usr/share/doc/frama-c-doc/intro_plugin_D_and_S.txt
/usr/share/doc/frama-c-doc/intro_plugin_default.txt
/usr/share/doc/frama-c-doc/intro_scope.txt
/usr/share/doc/frama-c-doc/intro_slicing.txt
/usr/share/doc/frama-c-doc/intro_sparecode.txt
/usr/share/doc/frama-c-doc/intro_wp.txt
/usr/share/doc/frama-c-doc/metrics-manual-Neon-20140301.pdf
/usr/share/doc/frama-c-doc/plugin-development-guide-Neon-20140301.pdf
/usr/share/doc/frama-c-doc/rte-manual-Neon-20140301.pdf
/usr/share/doc/frama-c-doc/style.css
/usr/share/doc/frama-c-doc/toc_head.htm
/usr/share/doc/frama-c-doc/toc_tail.htm
/usr/share/doc/frama-c-doc/user-manual-Neon-20140301.pdf
/usr/share/doc/frama-c-doc/value-analysis-Neon-20140301.pdf
/usr/share/doc/frama-c-doc/wp-manual-Neon-20140301.pdf

Changelog

See frama-c-1.10-0.20140301Neons.4.mga5.i586.rpm changelog.

See Also

Package Description
frama-c-emacs-1.10-0.20140301Neons.4.mga5.noarch.rpm Emacs support file for ACSL markup
frame-2.5.0-3.mga5.i586.rpm Buildup and synchronization of simultaneous touches
frameworkintegration-5.5.0-1.mga5.i586.rpm KDE Frameworks 5 Tier 4 addon with framework integration
freealchemist-0.5-7.mga5.noarch.rpm Free clone of naturalchimie (puzzle game)
freebasic-1.00.0-3.mga5.i586.rpm Free BASIC language compiler
freecell-solver-3.26.0-3.mga5.i586.rpm The Freecell Solver Executable
freeciv-client-2.4.4-2.mga5.i586.rpm FREE CIVilization clone - client
freeciv-data-2.4.4-2.mga5.noarch.rpm FREE CIVilization clone - data files
freeciv-server-2.4.4-2.mga5.i586.rpm FREE CIVilization clone - server
freecol-0.11.3-1.mga5.noarch.rpm Turn-based strategy game based on Colonization
freedink-108.4-1.mga5.i586.rpm Humorous top-down adventure and role-playing game
freedink-data-1.08.20140901-3.mga5.noarch.rpm Game data for GNU FreeDink
freedink-dfarc-3.12-1.mga5.i586.rpm Frontend and .dmod installer for GNU FreeDink
freedoom-0.8-3.mga5.noarch.rpm Complete and free DOOM IWAD
freedroid-1.0.2-15.mga5.i586.rpm Clone of the C64 Game Paradroid
Advertisement
Advertisement