معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Haskell idris profiling library

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything x86_64
نام بسته	ghc-idris-prof
نام فایل بسته	ghc-idris-prof-1.3.4-6.fc38.x86_64.rpm
نسخه بسته	1.3.4
انتشار بسته	6.fc38
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Fri 17 Feb 2023 06
هاست سازنده	buildvm-x86-05.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://hackage.haskell.org/package/idris
مجوز	BSD-3-Clause
حجم دانلود	9.4M
حجم نصب	106.412M

This package provides the Haskell idris profiling library.

جایگزین ها

بسته	نسخه	معماری	مخزن
ghc-idris-prof-1.3.4-6.fc38.aarch64.rpm	1.3.4	aarch64	Fedora Everything

نیازمندی

مقدار	نام
= 1.3.4-6.fc38	ghc-idris-devel(x86-64)
-	ghc-prof(aeson-2.0.3.0-Ki9YE39Dvm01lGSy8xVrUv)
-	ghc-prof(annotated-wl-pprint-0.7.0-JJ8k3Us8XMDCld6qYY6FFz)
-	ghc-prof(ansi-terminal-0.11.4-qKcMWVkRCF4T2yvpcrno2)
-	ghc-prof(ansi-wl-pprint-0.6.9-AO7jX8DKk4E4DZZ6b9K2DC)
-	ghc-prof(array-0.5.4.0)
-	ghc-prof(async-2.2.4-3V0ZKllfTvyGMUazcHZwjH)
-	ghc-prof(base-4.16.4.0)
-	ghc-prof(base64-bytestring-1.2.1.0-APmD3ny5xOU8uSlwgDmyWU)
-	ghc-prof(binary-0.8.9.0)
-	ghc-prof(blaze-html-0.9.1.2-IRa9sP0ZLAf5yVNTp40hrI)
-	ghc-prof(blaze-markup-0.8.2.8-BsxB2MI39xQ3HeE8yFjJPe)
-	ghc-prof(bytestring-0.11.4.0)
-	ghc-prof(cheapskate-0.1.1.2-8O5MEjlrEXC5QQpmQvZIj)
-	ghc-prof(code-page-0.2.1-2Ge3Prwpi0K5qObDyqbdK0)
-	ghc-prof(containers-0.6.5.1)
-	ghc-prof(deepseq-1.4.6.1)
-	ghc-prof(directory-1.3.6.2)
-	ghc-prof(filepath-1.4.2.2)
-	ghc-prof(fingertree-0.1.5.0-1bWOHMFYRzLCBbMqAOp1tu)
-	ghc-prof(fsnotify-0.3.0.1-L6zqcI2eUQKC16D9B3mPgE)
-	ghc-prof(haskeline-0.8.2)
-	ghc-prof(ieee754-0.8.0-jBSJf9r7fS9cohIIWFx2y)
-	ghc-prof(libffi-0.2.1-8o5k5SPX7e37DtQzBjWM0y)
-	ghc-prof(megaparsec-9.2.2-Gr1eAlX0UPhAfmZdx47QjP)
-	ghc-prof(mtl-2.2.2)
-	ghc-prof(network-3.1.2.7-18AvxGLVZvWJNGR6boJDQO)
-	ghc-prof(optparse-applicative-0.17.0.0-K9Ji3r8HrFDGECxsRijqEz)
-	ghc-prof(parser-combinators-1.3.0-EKEvs4HG7RlHibqYMmq66Q)
-	ghc-prof(pretty-1.1.3.6)
-	ghc-prof(process-1.6.16.0)
-	ghc-prof(regex-tdfa-1.3.2-4epoedMueZX9eAPEZjQ4Cj)
-	ghc-prof(safe-0.3.19-3Atv9xv1FTZE5WsEtdRBSd)
-	ghc-prof(split-0.2.3.5-A3rQLwgqzsiLSLyptRyW5K)
-	ghc-prof(terminal-size-0.3.3-Ddu19yxjyTI9e46sS2hFiF)
-	ghc-prof(text-1.2.5.0)
-	ghc-prof(time-1.11.1.1)
-	ghc-prof(transformers-0.5.6.2)
-	ghc-prof(uniplate-1.6.13-93l9TYl0JTWKgBjrErIjMl)
-	ghc-prof(unix-2.7.2.2)
-	ghc-prof(unordered-containers-0.2.19.1-4QPX038P0M68bmbwA6NLDY)
-	ghc-prof(utf8-string-1.0.2-Hm2vHl4bWSX1OP32Q8P6r9)
-	ghc-prof(vector-0.12.3.1-IqfBLkMSAFq9oMtTBAq8aN)
-	ghc-prof(vector-binary-instances-0.2.5.2-FKRqFmuY2C0FDatSPm9qSO)
-	ghc-prof(zip-archive-0.4.2.2-KKQlJu7lGXc3Za0Ge7YO6k)

ارائه دهنده

مقدار	نام
= 1.3.4-6.fc38	ghc-idris-prof
= 1.3.4-6.fc38	ghc-idris-prof(x86-64)
-	ghc-prof(idris-1.3.4-Fve4undQELqEJlptZioj56)

نحوه نصب

نصب پکیج rpm ghc-idris-prof:

dnf install ghc-idris-prof-1.3.4-6.fc38.x86_64.rpm

فایل ها

مسیرها
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/BuildFlags_idris.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/Bytecode.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/CodegenC.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/CodegenCommon.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/CodegenJavaScript.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/Compiler.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/Defunctionalise.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/DumpBC.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/Exports.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/Inliner.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/JavaScript/AST.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/JavaScript/Codegen.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/JavaScript/LangTransforms.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/JavaScript/Name.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/JavaScript/PrimOp.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/JavaScript/Specialize.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/Lang.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/LangOpts.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/Portable.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/Simplified.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/IRTS/System.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/ASTUtils.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/AbsSyntax.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/AbsSyntaxTree.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Apropos.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/CaseSplit.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Chaser.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/CmdOptions.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Colours.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Completion.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Core/Binary.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Core/CaseTree.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Core/Constraints.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Core/DeepSeq.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Core/Elaborate.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Core/Evaluate.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Core/Execute.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Core/ProofState.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Core/ProofTerm.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Core/TT.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Core/Typecheck.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Core/Unify.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Core/WHNF.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Coverage.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/DSL.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/DataOpts.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/DeepSeq.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Delaborate.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Directives.p_hi
/usr/lib64/ghc-9.2.6/lib/idris-1.3.4/Idris/Docs.p_hi
... and 66 more

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

تاریخ آخرین تغییر	جزئیات
2023-02-17	refresh to cabal-rpm-2.1.0 with SPDX migration
2022-07-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-06-17	rebuild
2022-01-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2022-01-08	Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34
2021-10-25	update to new stable release https://hackage.haskell.org/package/idris-1.3.4/changelog
2021-08-22	update to latest git, which builds with ghc-8.10 (#1991878)
2021-08-06	rebuild
2021-07-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild