معرفی شرکت ها

idris-1.3.4-5.fc37.x86_64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Functional Programming Language with Dependent Types
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 37
مخزن Fedora Everything x86_64
نام بسته idris
نام فایل بسته idris-1.3.4-5.fc37.x86_64.rpm
نسخه بسته 1.3.4
انتشار بسته 5.fc37
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Thu 21 Jul 2022 07
هاست سازنده buildvm-x86-08.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://hackage.haskell.org/package/idris
مجوز BSD
حجم دانلود 20M
حجم نصب 132.995M
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-5.fc37.aarch64.rpm 1.3.4 aarch64 Fedora Everything
idris-1.3.4-5.fc37.src.rpm 1.3.4 i686 Fedora Everything
idris-common-1.3.4-5.fc37.noarch.rpm 1.3.4 noarch Fedora Everything
idris-docs-1.3.4-5.fc37.noarch.rpm 1.3.4 noarch Fedora Everything
idris-manual-1.3.4-5.fc37.noarch.rpm 1.3.4 noarch Fedora Everything
idris-static-1.3.4-5.fc37.aarch64.rpm 1.3.4 aarch64 Fedora Everything
idris-static-1.3.4-5.fc37.i686.rpm 1.3.4 i686 Fedora Everything
idris-static-1.3.4-5.fc37.x86_64.rpm 1.3.4 x86_64 Fedora Everything


نیازمندی

مقدار نام
- gcc
- gmp-devel
= 1.3.4-5.fc37 idris-common
= 1.3.4-5.fc37 idris-static
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.10)(64bit)
- libc.so.6(GLIBC_2.11)(64bit)
- libc.so.6(GLIBC_2.14)(64bit)
- libc.so.6(GLIBC_2.15)(64bit)
- libc.so.6(GLIBC_2.17)(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.3)(64bit)
- libc.so.6(GLIBC_2.3.2)(64bit)
- libc.so.6(GLIBC_2.3.4)(64bit)
- libc.so.6(GLIBC_2.32)(64bit)
- libc.so.6(GLIBC_2.33)(64bit)
- libc.so.6(GLIBC_2.34)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libc.so.6(GLIBC_2.6)(64bit)
- libc.so.6(GLIBC_2.7)(64bit)
- libc.so.6(GLIBC_2.8)(64bit)
- libffi.so.8()(64bit)
- libffi.so.8(LIBFFI_BASE_8.0)(64bit)
- libffi.so.8(LIBFFI_CLOSURE_8.0)(64bit)
- libgmp.so.10()(64bit)
- libm.so.6()(64bit)
- libm.so.6(GLIBC_2.2.5)(64bit)
- libm.so.6(GLIBC_2.27)(64bit)
- libm.so.6(GLIBC_2.29)(64bit)
- libtinfo.so.6()(64bit)
- libz.so.1()(64bit)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 1.3.4-5.fc37 idris
= 1.3.4-5.fc37 idris(x86-64)


نحوه نصب


نصب پکیج rpm idris:

    dnf install idris-1.3.4-5.fc37.x86_64.rpm


فایل ها

مسیرها
/usr/bin/idris
/usr/bin/idris-codegen-c
/usr/bin/idris-codegen-javascript
/usr/bin/idris-codegen-node
/usr/lib/.build-id
/usr/lib/.build-id/12
/usr/lib/.build-id/12/db83c438834e711c696fb95cb84835069dc023
/usr/lib/.build-id/84
/usr/lib/.build-id/84/20ca84b1b4cc8596bcf31807455ff2f0b7777d
/usr/lib/.build-id/9b
/usr/lib/.build-id/9b/2b7419a58083d2be049e10e4c5732c8afebc98
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/4a3def2b7eb279d167309d248f82a3b1b5a913
/usr/share/bash-completion/completions/idris
/usr/share/bash-completion/completions/idris-codegen-c
/usr/share/bash-completion/completions/idris-codegen-javascript
/usr/share/bash-completion/completions/idris-codegen-node


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

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

2021-01-26

Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

2020-08-10

setup bash completion

2020-07-28

Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild