معرفی شرکت ها

idris-1.3.4-5.fc37.aarch64.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 aarch64
نام بسته idris
نام فایل بسته idris-1.3.4-5.fc37.aarch64.rpm
نسخه بسته 1.3.4
انتشار بسته 5.fc37
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Thu 21 Jul 2022 07
هاست سازنده buildvm-a64-18.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://hackage.haskell.org/package/idris
مجوز BSD
حجم دانلود 25M
حجم نصب 156.645M
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.src.rpm 1.3.4 i686 Fedora Everything
idris-1.3.4-5.fc37.x86_64.rpm 1.3.4 x86_64 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
- ld-linux-aarch64.so.1()(64bit)
- ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.17)(64bit)
- libc.so.6(GLIBC_2.32)(64bit)
- libc.so.6(GLIBC_2.33)(64bit)
- libc.so.6(GLIBC_2.34)(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.17)(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(aarch-64)


نحوه نصب


نصب پکیج rpm idris:

    dnf install idris-1.3.4-5.fc37.aarch64.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/94
/usr/lib/.build-id/94/b7725a72b2e7f2a4f676db434e4e44cbc4631a
/usr/lib/.build-id/c3
/usr/lib/.build-id/c3/a83e4450a2e8babd0ab51ec83c66f0b4b50d1d
/usr/lib/.build-id/cb
/usr/lib/.build-id/cb/36cabd90e335db57d1fe59bd272e61ee84d9cf
/usr/lib/.build-id/cf
/usr/lib/.build-id/cf/2d3d6113d7e332aa75c26ded967cd2f72a7b58
/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