INFO
Name: erlang-dialyzer
Version: 26.2.5-1.el9
Arch: aarch64
Summary: A DIscrepancy AnaLYZer for ERlang programs
License: ASL 2.0
Vendor: Fedora Project
Build Host: buildvm-a64-17.iad2.fedoraproject.org
Build Date: Fri May 31 20:35:43 2024
Size: 2707877
URL: https://www.erlang.org
Description: A DIscrepancy AnaLYZer for ERlang programs.
FILES
/usr/bin/dialyzer
/usr/bin/typer
/usr/lib/.build-id
/usr/lib/.build-id/1b
/usr/lib/.build-id/1b/0297c9fd9e240090d4cca43f9b2ec48cfb3233
/usr/lib/.build-id/bd
/usr/lib/.build-id/bd/d6c61d93edd3842653c303eb7c09252b3f7303
/usr/lib64/erlang/bin/dialyzer
/usr/lib64/erlang/bin/typer
/usr/lib64/erlang/erts-14.2.5/bin/dialyzer
/usr/lib64/erlang/erts-14.2.5/bin/typer
/usr/lib64/erlang/lib/dialyzer-5.1.3
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/cerl_prettypr.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer.app
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer.appup
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_analysis_callgraph.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_behaviours.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_callgraph.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_cl.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_cl_parse.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_clean_core.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_codeserver.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_contracts.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_coordinator.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_cplt.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_dataflow.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_dep.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_dot.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_explanation.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_gui_wx.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_incremental.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_iplt.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_options.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_plt.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_succ_typings.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_timing.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_typegraph.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_typesig.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_utils.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_worker.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/erl_bif_types.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/erl_types.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/typer.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/typer_core.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/src
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/cerl_prettypr.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer.hrl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_analysis_callgraph.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_behaviours.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_callgraph.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_cl.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_cl_parse.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_clean_core.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_codeserver.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_contracts.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_coordinator.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_cplt.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_dataflow.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_dep.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_dot.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_explanation.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_gui_wx.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_gui_wx.hrl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_incremental.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_iplt.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_options.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_plt.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_succ_typings.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_timing.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_typegraph.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_typesig.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_utils.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_worker.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/erl_bif_types.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/erl_types.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/typer.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/typer_core.erl
REQUIRES
erlang-compiler(aarch-64) 26.2.5-1.el9
erlang-erts(aarch-64) 26.2.5-1.el9
erlang-kernel(aarch-64) 26.2.5-1.el9
erlang-stdlib(aarch-64) 26.2.5-1.el9
erlang-syntax_tools(aarch-64) 26.2.5-1.el9
erlang-wx(aarch-64) 26.2.5-1.el9
graphviz
ld-linux-aarch64.so.1()(64bit)
ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.17)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.17)(64bit)
rpmlib(CompressedFileNames) 3.0.4-1
rpmlib(FileDigests) 4.6.0-1
rpmlib(PayloadFilesHavePrefix) 4.0-1
rpmlib(PayloadIsZstd) 5.4.18-1
rtld(GNU_HASH)
PROVIDES
erlang-dialyzer 26.2.5-1.el9
erlang-dialyzer(aarch-64) 26.2.5-1.el9
CONFIG FILES
/usr/bin/dialyzer
/usr/bin/typer
/usr/lib/.build-id a
/usr/lib/.build-id/1b a
/usr/lib/.build-id/1b/0297c9fd9e240090d4cca43f9b2ec48cfb3233 a
/usr/lib/.build-id/bd a
/usr/lib/.build-id/bd/d6c61d93edd3842653c303eb7c09252b3f7303 a
/usr/lib64/erlang/bin/dialyzer
/usr/lib64/erlang/bin/typer
/usr/lib64/erlang/erts-14.2.5/bin/dialyzer
/usr/lib64/erlang/erts-14.2.5/bin/typer
/usr/lib64/erlang/lib/dialyzer-5.1.3
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/cerl_prettypr.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer.app
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer.appup
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_analysis_callgraph.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_behaviours.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_callgraph.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_cl.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_cl_parse.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_clean_core.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_codeserver.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_contracts.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_coordinator.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_cplt.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_dataflow.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_dep.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_dot.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_explanation.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_gui_wx.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_incremental.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_iplt.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_options.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_plt.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_succ_typings.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_timing.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_typegraph.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_typesig.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_utils.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/dialyzer_worker.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/erl_bif_types.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/erl_types.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/typer.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/ebin/typer_core.beam
/usr/lib64/erlang/lib/dialyzer-5.1.3/src
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/cerl_prettypr.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer.hrl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_analysis_callgraph.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_behaviours.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_callgraph.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_cl.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_cl_parse.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_clean_core.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_codeserver.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_contracts.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_coordinator.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_cplt.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_dataflow.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_dep.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_dot.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_explanation.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_gui_wx.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_gui_wx.hrl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_incremental.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_iplt.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_options.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_plt.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_succ_typings.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_timing.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_typegraph.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_typesig.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_utils.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/dialyzer_worker.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/erl_bif_types.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/erl_types.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/typer.erl
/usr/lib64/erlang/lib/dialyzer-5.1.3/src/typer_core.erl
LICENSE FILES
ASL 2.0
|
