erlang-dialyzer-R14B-1-rosa.lts2012.0.x86_64.rpm


Advertisement

Description

erlang-dialyzer - Static analysis tool

Property Value
Distribution ROSA Enterprise Desktop
Repository ROSA Contrib Updates x86_64
Package name erlang-dialyzer
Package version R14B
Package release 1-rosa.lts2012.0
Package architecture x86_64
Package type rpm
Installed size 1.32 MB
Download size 628.12 KB
Official Mirror mirror.rosalab.ru
Dialyzer is a static analysis tool that identifies software discrepancies
such as type errors, unreachable code, unnecessary tests, etc in single
Erlang modules or entire (sets of) applications.

Alternatives

Package Version Architecture Repository
erlang-dialyzer-R14B-1-rosa.lts2012.0.i586.rpm R14B i586 ROSA Contrib Updates
erlang-dialyzer - - -

Requires

Name Value
erlang-base == R14B-1
libc.so.6()(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.3)(64bit) -
libc.so.6(GLIBC_2.3.4)(64bit) -
libc.so.6(GLIBC_2.4)(64bit) -

Provides

Name Value
erlang-dialyzer == R14B-1:2012.0

Download

Type URL
Binary Package erlang-dialyzer-R14B-1-rosa.lts2012.0.x86_64.rpm
Source Package erlang-R14B-1.src.rpm

Install Howto

  1. Enable ROSA Contrib Updates repository on Install and Remove Software"
  2. Update packages list:
    # urpmi.update -a
  3. Install erlang-dialyzer rpm package:
    # urpmi erlang-dialyzer

Files

Path
/usr/lib64/erlang/bin/dialyzer
/usr/lib64/erlang/lib/dialyzer-2.3.1/
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer.app
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer.appup
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_analysis_callgraph.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_behaviours.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_callgraph.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_cl.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_cl_parse.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_codeserver.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_contracts.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_dataflow.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_dep.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_explanation.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_gui.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_gui_wx.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_options.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_plt.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_races.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_succ_typings.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_typesig.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/ebin/dialyzer_utils.beam
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer.hrl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_analysis_callgraph.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_behaviours.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_callgraph.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_cl.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_cl_parse.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_codeserver.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_contracts.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_dataflow.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_dep.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_explanation.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_gui.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_gui_wx.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_gui_wx.hrl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_options.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_plt.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_races.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_succ_typings.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_typesig.erl
/usr/lib64/erlang/lib/dialyzer-2.3.1/src/dialyzer_utils.erl

Changelog

2010-11-06 - Tomasz Pawel Gajc <tpg@mandriva.org> R14B-1mdv2011.0
+ Revision: 594192
- do not use %%exclude macro
- remove not needed files
- update to new version R14B
- drop patch4, fixed by upstream
2010-09-04 - Tomasz Pawel Gajc <tpg@mandriva.org> R14A-1mdv2011.0
+ Revision: 576001
- fix file list
- fix docs
- update to new version 14A
- disable patches 0, 1 and 2
- Patch3: fix missing linkage to math library
2010-04-21 - Funda Wang <fwang@mandriva.org> R13B03-3mdv2010.1
+ Revision: 537452
- rebuild
2010-02-01 - Frederic Crozat <fcrozat@mandriva.com> R13B03-2mdv2010.1
+ Revision: 499176
- Force rebuild
+ Tomasz Pawel Gajc <tpg@mandriva.org>
- update to new version R13B03
- drop patch 4 fixed upstream
- add new subpackage erl_docgen
2009-11-08 - Tomasz Pawel Gajc <tpg@mandriva.org> R13B02-1mdv2010.1
+ Revision: 463103
- disable patch 1
- drop a lot of version defines, use wildcards instread of
- update to new version R13B02
- Patch4: fix reltool, patch from upstream
2009-06-16 - Tomasz Pawel Gajc <tpg@mandriva.org> R13B01-1mdv2010.0
+ Revision: 386493
- update to new version R13B01
- fix license
- Patch2: rediff
- two new subpackages erlang-reltools and erlang-wx
- add buildrequires on wxgtku-devel
- disable parallel make
- build with -m64 on x86_64
- update to new version R13B01

See Also

Package Description
erlang-docbuilder-R14B-1-rosa.lts2012.0.x86_64.rpm Tool for generating HTML documentation for Erlang programs
erlang-edoc-R14B-1-rosa.lts2012.0.x86_64.rpm The Erlang program documentation generator
erlang-emacs-R14B-1-rosa.lts2012.0.x86_64.rpm Emacs support for The Erlang language
erlang-erl_docgen-R14B-1-rosa.lts2012.0.x86_64.rpm Documentation generator
erlang-erl_interface-R14B-1-rosa.lts2012.0.x86_64.rpm Low level interface to C
erlang-et-R14B-1-rosa.lts2012.0.x86_64.rpm Event Tracer
erlang-eunit-R14B-1-rosa.lts2012.0.x86_64.rpm Erlang support for unit testing
erlang-gs-R14B-1-rosa.lts2012.0.x86_64.rpm Graphics System used to write platform independent user interfaces
erlang-hipe-R14B-1-rosa.lts2012.0.x86_64.rpm High performance erlang
erlang-ic-R14B-1-rosa.lts2012.0.x86_64.rpm IDL compiler
erlang-inets-R14B-1-rosa.lts2012.0.x86_64.rpm Set of services such as a Web server and a ftp client etc
erlang-inviso-R14B-1-rosa.lts2012.0.x86_64.rpm Erlang trace tool
erlang-jinterface-R14B-1-rosa.lts2012.0.x86_64.rpm Low level interface to Java
erlang-manpages-R14B-1-rosa.lts2012.0.x86_64.rpm Erlang man pages
erlang-megaco-R14B-1-rosa.lts2012.0.x86_64.rpm Framework for building applications on top of the Megaco/H.248 protocol
Advertisement
Advertisement