معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Haskell idris profiling library

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything x86_64
نام بسته	ghc-idris-prof
نام فایل بسته	ghc-idris-prof-1.3.4-12.fc39.x86_64.rpm
نسخه بسته	1.3.4
انتشار بسته	12.fc39
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Sun 30 Jul 2023 12
هاست سازنده	buildhw-x86-13.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://hackage.haskell.org/package/idris
مجوز	BSD-3-Clause
حجم دانلود	11M
حجم نصب	120.775M

This package provides the Haskell idris profiling library.

جایگزین ها

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

نیازمندی

مقدار	نام
= 1.3.4-12.fc39	ghc-idris-devel(x86-64)
-	ghc-prof(aeson-2.1.2.1-5k0SkOYVpUV25ecC9ACqgk)
-	ghc-prof(annotated-wl-pprint-0.7.0-AZIdHwhO7gY9nR82IJfl4n)
-	ghc-prof(ansi-terminal-0.11.5-5x0MoHxm5r6DDoyv5djCW3)
-	ghc-prof(ansi-wl-pprint-0.6.9-1uNId4TIZRh7T7KEIBVXZI)
-	ghc-prof(array-0.5.4.0)
-	ghc-prof(async-2.2.4-Is3H7ZPNMkM5reIoCaqYrF)
-	ghc-prof(base-4.17.1.0)
-	ghc-prof(base64-bytestring-1.2.1.0-8KbzJpmSQbYKTeew1rv0hh)
-	ghc-prof(binary-0.8.9.1)
-	ghc-prof(blaze-html-0.9.1.2-9AwrliMUAB1CEWptsl39lV)
-	ghc-prof(blaze-markup-0.8.2.8-Kb94YfLpMJX1g0GQyPHRTq)
-	ghc-prof(bytestring-0.11.4.0)
-	ghc-prof(cheapskate-0.1.1.2-En7vPgwNtJUGbYA20KXv9H)
-	ghc-prof(code-page-0.2.1-DXkPgctk3OAKMpgAjUBS3D)
-	ghc-prof(containers-0.6.7)
-	ghc-prof(deepseq-1.4.8.0)
-	ghc-prof(directory-1.3.7.1)
-	ghc-prof(filepath-1.4.2.2)
-	ghc-prof(fingertree-0.1.5.0-FUFklhsmvEUIccokQwwqia)
-	ghc-prof(fsnotify-0.4.1.0-7swnmx7iZbKKRqnsaKx4x)
-	ghc-prof(haskeline-0.8.2)
-	ghc-prof(ieee754-0.8.0-olCvBtsHxm9A5Ifxktz8b)
-	ghc-prof(libffi-0.2.1-AIntMoDLCYlBYo2yz2gkjx)
-	ghc-prof(megaparsec-9.3.1-ERDjI2v4kmMC2kpf7sry0n)
-	ghc-prof(mtl-2.2.2)
-	ghc-prof(network-3.1.4.0-FvtFepOtuCUH79FCWyNxIc)
-	ghc-prof(optparse-applicative-0.17.1.0-15K5oaZj8pgCwvckoHPRS9)
-	ghc-prof(parser-combinators-1.3.0-69OkkuibEVDB76y6u8xJBt)
-	ghc-prof(pretty-1.1.3.6)
-	ghc-prof(process-1.6.16.0)
-	ghc-prof(regex-tdfa-1.3.2.1-IjrqGmQfrKa7qAUI2VJCmV)
-	ghc-prof(safe-0.3.19-3Ab0OpSRliCKMhc0t4Nhds)
-	ghc-prof(split-0.2.3.5-u3oGLAiW7JJbxIffWSCWf)
-	ghc-prof(terminal-size-0.3.4-1tPFLsRvnmSGNryq4PMCAd)
-	ghc-prof(text-2.0.2)
-	ghc-prof(time-1.12.2)
-	ghc-prof(transformers-0.5.6.2)
-	ghc-prof(uniplate-1.6.13-3GboCmnxCZ4BmbYwVaL4sN)
-	ghc-prof(unix-2.7.3)
-	ghc-prof(unordered-containers-0.2.19.1-KblUXVJ0SvRCcK89PoBx7E)
-	ghc-prof(utf8-string-1.0.2-H5J3QXynvqU96sNfi3QV7u)
-	ghc-prof(vector-0.13.0.0-DgEUYCaCm1GEZ2KanedKXr)
-	ghc-prof(vector-binary-instances-0.2.5.2-1R5027fTKPWKuWAMrJW8Yg)
-	ghc-prof(zip-archive-0.4.3-LUJYaSIjOiGHh2Nld2S6fV)

ارائه دهنده

مقدار	نام
= 1.3.4-12.fc39	ghc-idris-prof
= 1.3.4-12.fc39	ghc-idris-prof(x86-64)
-	ghc-prof(idris-1.3.4-Gh7jZJdIEuY5JID22iB78v)

نحوه نصب

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

dnf install ghc-idris-prof-1.3.4-12.fc39.x86_64.rpm

فایل ها

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

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

تاریخ آخرین تغییر	جزئیات
2023-07-26	bump upper bounds
2023-07-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
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