erlang-dialyzer_19.2.1+dfsg-2+deb9u2_i386.deb


Advertisement

Description

erlang-dialyzer - Erlang/OTP discrepancy analyzer application

Property Value
Distribution Debian 9 (Stretch)
Repository Debian Main i386
Package filename erlang-dialyzer_19.2.1+dfsg-2+deb9u2_i386.deb
Package name erlang-dialyzer
Package version 19.2.1+dfsg
Package release 2+deb9u2
Package architecture i386
Package type deb
Category implemented-in::TODO interpreters role::program
Homepage http://www.erlang.org/
License -
Maintainer Debian Erlang Packagers <pkg-erlang-devel@lists.alioth.debian.org>
Download size 640.95 KB
Installed size 966.00 KB
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_19.2.1+dfsg-2+deb9u2_amd64.deb 19.2.1+dfsg amd64 Debian Main
erlang-dialyzer - - -

Requires

Name Value
erlang-base = 1:19.2.1+dfsg-2+deb9u2
erlang-base-hipe = 1:19.2.1+dfsg-2+deb9u2
erlang-syntax-tools = 1:19.2.1+dfsg-2+deb9u2
libc6 >= 2.3

Replaces

Name Value
erlang << 1:19.2.1+dfsg-2+deb9u2
erlang-base << 1:19.2.1+dfsg-2+deb9u2
erlang-base-hipe << 1:19.2.1+dfsg-2+deb9u2
erlang-dev << 1:19.2.1+dfsg-2+deb9u2
erlang-doc << 1:19.2.1+dfsg
erlang-doc >> 1:19.2.1+dfsg-999
erlang-examples << 1:19.2.1+dfsg-2+deb9u2
erlang-manpages <= 1:11.b.1-2
erlang-mode << 1:12.b.1-dfsg-2
erlang-nox << 1:19.2.1+dfsg-2+deb9u2
erlang-src << 1:19.2.1+dfsg-2+deb9u2
erlang-x11 << 1:19.2.1+dfsg-2+deb9u2

Download

Type URL
Mirror ftp.br.debian.org
Binary Package erlang-dialyzer_19.2.1+dfsg-2+deb9u2_i386.deb
Source Package erlang

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install erlang-dialyzer deb package:
    # sudo apt-get install erlang-dialyzer

Files

Path
/usr/bin/dialyzer
/usr/lib/erlang/bin/dialyzer
/usr/lib/erlang/erts-8.2.1/bin/dialyzer
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer.app
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer.appup
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_analysis_callgraph.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_behaviours.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_callgraph.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_cl.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_cl_parse.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_codeserver.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_contracts.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_coordinator.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_dataflow.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_dep.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_explanation.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_gui_wx.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_options.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_plt.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_race_data_server.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_races.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_succ_typings.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_timing.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_typesig.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_utils.beam
/usr/lib/erlang/lib/dialyzer-3.0.3/ebin/dialyzer_worker.beam
/usr/share/doc/erlang-dialyzer/AUTHORS.gz
/usr/share/doc/erlang-dialyzer/README.Debian.gz
/usr/share/doc/erlang-dialyzer/TODO.Debian
/usr/share/doc/erlang-dialyzer/changelog.Debian.gz
/usr/share/doc/erlang-dialyzer/copyright
/usr/share/man/man1/dialyzer.1.gz

Changelog

2019-02-08 - Andreas Beckmann <anbe@debian.org>
erlang (1:19.2.1+dfsg-2+deb9u2) stretch; urgency=medium
[ Andreas Beckmann ]
* Non-maintainer upload.
* Backport removal of xemacs21 support from 1:21.2+dfsg-2.
[ Sergei Golovan ]
* Do not install Erlang mode for XEmacs since it isn't supposed to work
with it (closes: #909387).
2017-03-22 - Sergei Golovan <sgolovan@debian.org>
erlang (1:19.2.1+dfsg-2+deb9u1) stretch-security; urgency=high
* Applied a patch from the upstream which fixes CVE-2017-1000385
vulnerability (TLS server vunlerable to Adaptive Chosen Ciphertext attack
allowing plaintext recovery ot MITM attack).
2017-03-22 - Sergei Golovan <sgolovan@debian.org>
erlang (1:19.2.1+dfsg-2) unstable; urgency=high
* Applied a patch from the PCRE upstream which fixes CVE-2016-10253
vulnerability (heap overflow while compiling certain regular expressions).
The patch is taken from https://github.com/erlang/otp/pull/1108 and
modified to match the original patch by PCRE developers (closes: #858313).
2017-01-16 - Sergei Golovan <sgolovan@debian.org>
erlang (1:19.2.1+dfsg-1) unstable; urgency=medium
* New upstream bugfix release.
2016-12-14 - Sergei Golovan <sgolovan@debian.org>
erlang (1:19.2+dfsg-1) unstable; urgency=medium
* New upstream release.
* Refreshed patches.
* Removed the patch which fixed HiPE build with PIE enabled by default in
the GCC C compiler, because it's been applied upstream.
2016-11-19 - Sergei Golovan <sgolovan@debian.org>
erlang (1:19.1.6+dfsg-2) unstable; urgency=medium
* Use the solution from upstream to build HiPE if GCC enables PIE by default.
The previous one breaks erlang-wx (closes: #844593).
2016-11-11 - Sergei Golovan <sgolovan@debian.org>
erlang (1:19.1.6+dfsg-1) unstable; urgency=medium
* New upstream bugfix release.
2016-11-07 - Sergei Golovan <sgolovan@debian.org>
erlang (1:19.1.5+dfsg-2) unstable; urgency=medium
* Temporarily switched to libssl1.0-dev until porting to OpensSSL 1.1 is
complete.
* Added -fno-pie -no-pie GCC flags to make sure the HiPE build works
(closes: #842998).
* Enabled verbose build logs to make them more useful in debugging.
2016-10-21 - Sergei Golovan <sgolovan@debian.org>
erlang (1:19.1.5+dfsg-1) unstable; urgency=medium
* New upstream bugfix release.
2016-10-15 - Sergei Golovan <sgolovan@debian.org>
erlang (1:19.1.4+dfsg-1) unstable; urgency=medium
* New upstream bugfix release.

See Also

Package Description
erlang-diameter_19.2.1+dfsg-2+deb9u2_i386.deb Erlang/OTP implementation of RFC 6733 protocol
erlang-doc_19.2.1+dfsg-2+deb9u2_all.deb Erlang/OTP HTML/PDF documentation
erlang-edoc_19.2.1+dfsg-2+deb9u2_i386.deb Erlang/OTP module for generating documentation
erlang-eldap_19.2.1+dfsg-2+deb9u2_i386.deb Erlang/OTP LDAP library
erlang-erl-docgen_19.2.1+dfsg-2+deb9u2_i386.deb Erlang/OTP documentation stylesheets
erlang-esdl-dev_1.3.1-3_all.deb Erlang bindings to the SDL (development files)
erlang-esdl-doc_1.3.1-3_all.deb Erlang bindings to the SDL (documentation)
erlang-esdl_1.3.1-3_i386.deb Erlang bindings to the Simple Direct Media Library
erlang-et_19.2.1+dfsg-2+deb9u2_i386.deb Erlang/OTP event tracer application
erlang-eunit_19.2.1+dfsg-2+deb9u2_i386.deb Erlang/OTP module for unit testing
erlang-examples_19.2.1+dfsg-2+deb9u2_all.deb Erlang/OTP application examples
erlang-folsom-dev_0.8.2+dfsg-1_i386.deb Erlang based metrics system inspired by Coda Hale's metrics
erlang-folsom_0.8.2+dfsg-1_i386.deb Erlang based metrics system inspired by Coda Hale's metrics
erlang-getopt_0.8.2+dfsg-1_i386.deb Erlang library for command-line processing
erlang-goldrush_0.1.9-2_i386.deb small Erlang app that provides fast event stream processing
Advertisement
Advertisement