erlang-dialyzer-R15B03-3-mdv2013.0.i586.rpm


Advertisement

Description

erlang-dialyzer - Static analysis tool

Property Value
Distribution OpenMandriva Lx 3.0
Repository OpenMandriva Contrib Release i586
Package name erlang-dialyzer
Package version R15B03
Package release 3-mdv2013.0
Package architecture i586
Package type rpm
Installed size 1.51 MB
Download size 734.36 KB
Official Mirror abf-downloads.openmandriva.org
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-20.0-5-omv2015.0.i586.rpm 20.0 i586 OpenMandriva Contrib Updates
erlang-dialyzer-20.0-5-omv2015.0.x86_64.rpm 20.0 x86_64 OpenMandriva Contrib Updates
erlang-dialyzer-R15B03-3-mdv2013.0.x86_64.rpm R15B03 x86_64 OpenMandriva Contrib Release
erlang-dialyzer - - -

Requires

Name Value
erlang-base == R15B03-3
libc.so.6 -
libc.so.6(GLIBC_2.0) -
libc.so.6(GLIBC_2.3) -
libc.so.6(GLIBC_2.3.4) -
libc.so.6(GLIBC_2.4) -
libm.so.6 -
libm.so.6(GLIBC_2.0) -

Provides

Name Value
erlang-dialyzer == R15B03-3:2013.0

Download

Type URL
Binary Package erlang-dialyzer-R15B03-3-mdv2013.0.i586.rpm
Source Package erlang-R15B03-3.src.rpm

Install Howto

  1. Enable OpenMandriva Contrib Release 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/lib/erlang/bin/dialyzer
/usr/lib/erlang/lib/dialyzer-2.5.3/
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer.app
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer.appup
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_analysis_callgraph.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_behaviours.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_callgraph.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_cl.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_cl_parse.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_codeserver.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_contracts.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_coordinator.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_dataflow.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_dep.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_explanation.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_gui.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_gui_wx.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_options.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_plt.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_races.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_succ_typings.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_timing.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_typesig.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_utils.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/ebin/dialyzer_worker.beam
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer.hrl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_analysis_callgraph.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_behaviours.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_callgraph.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_cl.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_cl_parse.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_codeserver.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_contracts.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_coordinator.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_dataflow.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_dep.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_explanation.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_gui.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_gui_wx.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_gui_wx.hrl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_options.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_plt.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_races.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_succ_typings.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_timing.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_typesig.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_utils.erl
/usr/lib/erlang/lib/dialyzer-2.5.3/src/dialyzer_worker.erl

Changelog

2011-10-09 - Andrey Bondrov <abondrov@mandriva.org> R14B04-1mdv2012.0
+ Revision: 703848
- New version: R14B04
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

See Also

Package Description
erlang-diameter-R15B03-3-mdv2013.0.i586.rpm An implementation of the Diameter protocol as defined by RFC 3588
erlang-edoc-R15B03-3-mdv2013.0.i586.rpm The Erlang program documentation generator
erlang-eldap-R15B03-3-mdv2013.0.i586.rpm The Erlang LDAP library
erlang-emacs-R15B03-3-mdv2013.0.i586.rpm Emacs support for The Erlang language
erlang-erl_docgen-R15B03-3-mdv2013.0.i586.rpm Documentation generator
erlang-erl_interface-R15B03-3-mdv2013.0.i586.rpm Low level interface to C
erlang-esdl-1.2-2-omv2013.0.i586.rpm Erlang OpenGL/SDL api and utilities
erlang-esdl-devel-1.2-2-omv2013.0.i586.rpm Development files for ESDL
erlang-et-R15B03-3-mdv2013.0.i586.rpm Event Tracer
erlang-eunit-R15B03-3-mdv2013.0.i586.rpm Erlang support for unit testing
erlang-gs-R15B03-3-mdv2013.0.i586.rpm Graphics System used to write platform independent user interfaces
erlang-hipe-R15B03-3-mdv2013.0.i586.rpm High performance erlang
erlang-ic-R15B03-3-mdv2013.0.i586.rpm IDL compiler
erlang-inets-R15B03-3-mdv2013.0.i586.rpm Set of services such as a Web server and a ftp client etc
erlang-inviso-R15B03-3-mdv2013.0.i586.rpm Erlang trace tool
Advertisement
Advertisement