معرفی شرکت ها

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

دانلود نسخه باینری دانلود نسخه سورس

توضیحات

A DIscrepancy AnaLYZer for ERlang programs

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything x86_64
نام بسته	erlang-dialyzer
نام فایل بسته	erlang-dialyzer-25.3.2.7-1.fc37.x86_64.rpm
نسخه بسته	25.3.2.7
انتشار بسته	1.fc37
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Fri 13 Oct 2023 03
هاست سازنده	buildhw-x86-08.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://www.erlang.org
مجوز	ASL 2.0
حجم دانلود	1.3M
حجم نصب	2.355M

A DIscrepancy AnaLYZer for ERlang programs.

جایگزین ها

بسته	نسخه	معماری	مخزن
erlang-dialyzer-25.1-1.fc37.aarch64.rpm	25.1	aarch64	Fedora Everything
erlang-dialyzer-25.1-1.fc37.x86_64.rpm	25.1	x86_64	Fedora Everything
erlang-dialyzer-25.3.2.7-1.fc37.aarch64.rpm	25.3.2.7	aarch64	Fedora Everything
erlang-dialyzer-debuginfo-25.1-1.fc37.aarch64.rpm	25.1	aarch64	Fedora Everything
erlang-dialyzer-debuginfo-25.1-1.fc37.x86_64.rpm	25.1	x86_64	Fedora Everything
erlang-dialyzer-debuginfo-25.3.2.7-1.fc37.aarch64.rpm	25.3.2.7	aarch64	Fedora Everything
erlang-dialyzer-debuginfo-25.3.2.7-1.fc37.x86_64.rpm	25.3.2.7	x86_64	Fedora Everything

نیازمندی

مقدار	نام
= 25.3.2.7-1.fc37	erlang-compiler(x86-64)
= 25.3.2.7-1.fc37	erlang-erts(x86-64)
= 25.3.2.7-1.fc37	erlang-kernel(x86-64)
= 25.3.2.7-1.fc37	erlang-stdlib(x86-64)
= 25.3.2.7-1.fc37	erlang-syntax_tools(x86-64)
= 25.3.2.7-1.fc37	erlang-wx(x86-64)
-	graphviz
-	libc.so.6()(64bit)
-	libc.so.6(GLIBC_2.14)(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.34)(64bit)
-	libc.so.6(GLIBC_2.4)(64bit)
-	libm.so.6()(64bit)
-	libm.so.6(GLIBC_2.2.5)(64bit)
-	rtld(GNU_HASH)

ارائه دهنده

مقدار	نام
= 25.3.2.7-1.fc37	erlang-dialyzer
= 25.3.2.7-1.fc37	erlang-dialyzer(x86-64)

نحوه نصب

نصب پکیج rpm erlang-dialyzer:

dnf install erlang-dialyzer-25.3.2.7-1.fc37.x86_64.rpm

فایل ها

مسیرها
/usr/bin/dialyzer
/usr/bin/typer
/usr/lib/.build-id
/usr/lib/.build-id/2d
/usr/lib/.build-id/2d/0205affcebd3c4f4956d46163cfbae28d02b8b
/usr/lib/.build-id/c0
/usr/lib/.build-id/c0/06c1a60c9ea3ed91311ca121df26a7db3df6d2
/usr/lib64/erlang/bin/dialyzer
/usr/lib64/erlang/bin/typer
/usr/lib64/erlang/erts-13.2.2.4/bin/dialyzer
/usr/lib64/erlang/erts-13.2.2.4/bin/typer
/usr/lib64/erlang/lib/dialyzer-5.0.5
/usr/lib64/erlang/lib/dialyzer-5.0.5/doc
/usr/lib64/erlang/lib/dialyzer-5.0.5/doc/chunks
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/cerl_prettypr.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer.app
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer.appup
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_analysis_callgraph.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_behaviours.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_callgraph.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_cl.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_cl_parse.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_clean_core.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_codeserver.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_contracts.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_coordinator.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_dataflow.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_dep.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_dot.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_explanation.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_gui_wx.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_options.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_plt.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_succ_typings.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_timing.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_typegraph.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_typesig.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_utils.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/dialyzer_worker.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/erl_bif_types.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/erl_types.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/typer.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/ebin/typer_core.beam
/usr/lib64/erlang/lib/dialyzer-5.0.5/src
/usr/lib64/erlang/lib/dialyzer-5.0.5/src/cerl_prettypr.erl
/usr/lib64/erlang/lib/dialyzer-5.0.5/src/dialyzer.erl
/usr/lib64/erlang/lib/dialyzer-5.0.5/src/dialyzer.hrl
/usr/lib64/erlang/lib/dialyzer-5.0.5/src/dialyzer_analysis_callgraph.erl
... and 28 more

گزارش تغییرات

تاریخ آخرین تغییر	جزئیات
2023-10-13	Ver. 25.3.2.7
2023-09-09	Ver. 25.3.2.6
2023-07-31	Ver. 25.3.2.5
2023-07-17	Ver. 25.3.2.4
2023-07-01	Ver. 25.3.2.3
2023-06-07	Ver. 25.3.2.2
2023-05-30	Ver. 25.3.2.1
2023-05-06	Ver. 25.3.2
2023-04-27	Ver. 25.3.1
2023-03-08	Ver. 25.3
2023-02-17	Ver. 25.2.3
2023-01-30	Ver. 25.2.2
2023-01-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2023-01-18	Ver. 25.2.1
2023-01-06	Fix deps
2023-01-04	LSP applications require source code to be available (rhbz #2157170). Let's