معرفی شرکت ها

idris-1.3.4-6.fc38.src.rpm

Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر

توضیحات

Functional Programming Language with Dependent Types
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything i686
نام بسته idris
نام فایل بسته idris-1.3.4-6.fc38.src.rpm
نسخه بسته 1.3.4
انتشار بسته 6.fc38
معماری بسته i686
نگهدارنده -
تاریخ ساخت Fri 17 Feb 2023 06
هاست سازنده buildvm-x86-24.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://hackage.haskell.org/package/idris
مجوز BSD-3-Clause
حجم دانلود 1.7M
حجم نصب 1.656M
Idris is a general purpose language with full dependent types. It is compiled, with eager evaluation. Dependent types allow types to be predicated on values, meaning that some aspects of a program's behaviour can be specified precisely in the type. The language is closely related to Epigram and Agda. There is a tutorial at <https://www.idris-lang.org/documentation>. Features include: * Full, first class, dependent types with dependent pattern matching * where clauses, with rule, case expressions, pattern matching let and lambda bindings * Interfaces (similar to type classes), monad comprehensions * do notation, idiom brackets, syntactic conveniences for lists, tuples, dependent pairs * Totality checking * Coinductive types * Indentation significant syntax, extensible syntax * Cumulative universes * Simple foreign function interface (to C) * Hugs style interactive environment.


جایگزین ها

بسته نسخه معماری مخزن
idris-1.3.4-6.fc38.aarch64.rpm 1.3.4 aarch64 Fedora Everything
idris-1.3.4-6.fc38.x86_64.rpm 1.3.4 x86_64 Fedora Everything
idris-common-1.3.4-6.fc38.noarch.rpm 1.3.4 noarch Fedora Everything
idris-docs-1.3.4-6.fc38.noarch.rpm 1.3.4 noarch Fedora Everything
idris-manual-1.3.4-6.fc38.noarch.rpm 1.3.4 noarch Fedora Everything
idris-static-1.3.4-6.fc38.aarch64.rpm 1.3.4 aarch64 Fedora Everything
idris-static-1.3.4-6.fc38.i686.rpm 1.3.4 i686 Fedora Everything
idris-static-1.3.4-6.fc38.x86_64.rpm 1.3.4 x86_64 Fedora Everything


نیازمندی

مقدار نام
- gc-devel
- ghc-Cabal-devel
- ghc-aeson-devel
- ghc-aeson-prof
- ghc-annotated-wl-pprint-devel
- ghc-annotated-wl-pprint-prof
- ghc-ansi-terminal-devel
- ghc-ansi-terminal-prof
- ghc-ansi-wl-pprint-devel
- ghc-ansi-wl-pprint-prof
- ghc-array-devel
- ghc-array-prof
- ghc-async-devel
- ghc-async-prof
- ghc-base-devel
- ghc-base-prof
- ghc-base64-bytestring-devel
- ghc-base64-bytestring-prof
- ghc-binary-devel
- ghc-binary-prof
- ghc-blaze-html-devel
- ghc-blaze-html-prof
- ghc-blaze-markup-devel
- ghc-blaze-markup-prof
- ghc-bytestring-devel
- ghc-bytestring-prof
- ghc-cheapskate-devel
- ghc-cheapskate-prof
- ghc-code-page-devel
- ghc-code-page-prof
- ghc-containers-devel
- ghc-containers-prof
- ghc-deepseq-devel
- ghc-deepseq-prof
- ghc-directory-devel
- ghc-directory-prof
- ghc-filepath-devel
- ghc-filepath-prof
- ghc-fingertree-devel
- ghc-fingertree-prof
- ghc-fsnotify-devel
- ghc-fsnotify-prof
- ghc-haskeline-devel
- ghc-haskeline-prof
- ghc-ieee754-devel
- ghc-ieee754-prof
- ghc-libffi-devel
- ghc-libffi-prof
- ghc-megaparsec-devel
- ghc-megaparsec-prof
- ghc-mtl-devel
- ghc-mtl-prof
- ghc-network-devel
- ghc-network-prof
- ghc-optparse-applicative-devel
- ghc-optparse-applicative-prof
- ghc-parser-combinators-devel
- ghc-parser-combinators-prof
- ghc-pretty-devel
- ghc-pretty-prof
- ghc-process-devel
- ghc-process-prof
- ghc-regex-tdfa-devel
- ghc-regex-tdfa-prof
- ghc-rpm-macros
- ghc-safe-devel
- ghc-safe-prof
- ghc-split-devel
- ghc-split-prof
- ghc-terminal-size-devel
- ghc-terminal-size-prof
- ghc-text-devel
- ghc-text-prof
- ghc-time-devel
- ghc-time-prof
- ghc-transformers-devel
- ghc-transformers-prof
- ghc-uniplate-devel
- ghc-uniplate-prof
- ghc-unix-devel
- ghc-unix-prof
- ghc-unordered-containers-devel
- ghc-unordered-containers-prof
- ghc-utf8-string-devel
- ghc-utf8-string-prof
- ghc-vector-binary-instances-devel
- ghc-vector-binary-instances-prof
- ghc-vector-devel
- ghc-vector-prof
- ghc-zip-archive-devel
- ghc-zip-archive-prof
- gmp-devel
- python3-sphinx


ارائه دهنده

مقدار نام
= 1.3.4-6.fc38 idris
= 1.3.4-6.fc38 idris-common
= 1.3.4-6.fc38 idris-static
= 1.3.4-6.fc38 ghc-idris
= 1.3.4-6.fc38 ghc-idris-devel
= 1.3.4-6.fc38 idris-docs
= 1.3.4-6.fc38 idris-manual
= 1.3.4-6.fc38 ghc-idris-prof
= 1.3.4-6.fc38 idris-debuginfo
= 1.3.4-6.fc38 idris-debugsource


نحوه نصب


نصب پکیج rpm idris:

    dnf install idris-1.3.4-6.fc38.src.rpm


فایل ها

مسیرها
idris-1.3.4.tar.gz


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

تاریخ آخرین تغییر جزئیات
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