معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

A DIscrepancy AnaLYZer for ERlang programs

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything x86_64
نام بسته	erlang-dialyzer
نام فایل بسته	erlang-dialyzer-25.1-1.fc37.x86_64.rpm
نسخه بسته	25.1
انتشار بسته	1.fc37
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Wed 21 Sep 2022 08
هاست سازنده	buildvm-x86-15.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://www.erlang.org
مجوز	ASL 2.0
حجم دانلود	1.1M
حجم نصب	1.397M

A DIscrepancy AnaLYZer for ERlang programs.

جایگزین ها

بسته	نسخه	معماری	مخزن
erlang-dialyzer-25.1-1.fc37.aarch64.rpm	25.1	aarch64	Fedora Everything
erlang-dialyzer-25.3.2.7-1.fc37.aarch64.rpm	25.3.2.7	aarch64	Fedora Everything
erlang-dialyzer-25.3.2.7-1.fc37.x86_64.rpm	25.3.2.7	x86_64	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.1-1.fc37	erlang-compiler(x86-64)
= 25.1-1.fc37	erlang-erts(x86-64)
= 25.1-1.fc37	erlang-kernel(x86-64)
= 25.1-1.fc37	erlang-stdlib(x86-64)
= 25.1-1.fc37	erlang-syntax_tools(x86-64)
= 25.1-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.1-1.fc37	erlang-dialyzer
= 25.1-1.fc37	erlang-dialyzer(x86-64)

نحوه نصب

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

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

فایل ها

مسیرها
/usr/bin/dialyzer
/usr/bin/typer
/usr/lib/.build-id
/usr/lib/.build-id/0f
/usr/lib/.build-id/0f/b044cd90dabd07d7344759028846a6a1843f63
/usr/lib/.build-id/c5
/usr/lib/.build-id/c5/f55e13f664ff4c116c0d69191bb72e8d8abbe6
/usr/lib64/erlang/bin/dialyzer
/usr/lib64/erlang/bin/typer
/usr/lib64/erlang/erts-13.1/bin/dialyzer
/usr/lib64/erlang/erts-13.1/bin/typer
/usr/lib64/erlang/lib/dialyzer-5.0.2
/usr/lib64/erlang/lib/dialyzer-5.0.2/doc
/usr/lib64/erlang/lib/dialyzer-5.0.2/doc/chunks
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/cerl_prettypr.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer.app
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer.appup
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_analysis_callgraph.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_behaviours.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_callgraph.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_cl.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_cl_parse.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_clean_core.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_codeserver.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_contracts.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_coordinator.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_dataflow.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_dep.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_dot.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_explanation.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_gui_wx.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_options.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_plt.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_succ_typings.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_timing.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_typegraph.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_typesig.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_utils.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/dialyzer_worker.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/erl_bif_types.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/erl_types.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/typer.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/ebin/typer_core.beam
/usr/lib64/erlang/lib/dialyzer-5.0.2/src
/usr/lib64/erlang/lib/dialyzer-5.0.2/src/dialyzer.hrl
/usr/lib64/erlang/lib/dialyzer-5.0.2/src/dialyzer_gui_wx.hrl
/usr/share/man/man1/typer.1.gz

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

تاریخ آخرین تغییر	جزئیات
2022-09-21	Ver. 25.1
2022-08-18	Ver. 25.0.4
2022-07-28	Rebuild with new wxWidgets
2022-07-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-07-16	Ver. 25.0.3
2022-07-12	Ver. 25.0.2
2022-06-23	Ver. 24.3.4.2
2022-06-08	Ver. 24.3.4.1
2022-05-24	Downgrade to OpenSSL 1.x
2022-05-04	Ver. 24.3.4
2022-04-08	Temporarily disable FIPS (doesn't work reliably with OpenSSL 3.0 yet)
2022-03-29	Ver. 24.3.3 Doc sub-package no longermarked as noarch (contains links to _libdir)
2022-03-28	Keep documentation chunks in the code path (rhbz#2068758)
2022-03-01	Ver. 24.2.2
2022-02-05	Rebuilt for java-17-openjdk as system jdk
2022-01-26	Ver. 24.2.1