معرفی شرکت ها

idris-1.3.4-12.fc39.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 39
مخزن Fedora Everything aarch64
نام بسته idris
نام فایل بسته idris-1.3.4-12.fc39.aarch64.rpm
نسخه بسته 1.3.4
انتشار بسته 12.fc39
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Sun 30 Jul 2023 12
هاست سازنده buildvm-a64-08.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://hackage.haskell.org/package/idris
مجوز BSD-3-Clause
حجم دانلود 32M
حجم نصب 226.734M
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-12.fc39.src.rpm 1.3.4 i686 Fedora Everything
idris-1.3.4-12.fc39.x86_64.rpm 1.3.4 x86_64 Fedora Everything
idris-common-1.3.4-12.fc39.noarch.rpm 1.3.4 noarch Fedora Everything
idris-docs-1.3.4-12.fc39.noarch.rpm 1.3.4 noarch Fedora Everything
idris-manual-1.3.4-12.fc39.noarch.rpm 1.3.4 noarch Fedora Everything
idris-static-1.3.4-12.fc39.aarch64.rpm 1.3.4 aarch64 Fedora Everything
idris-static-1.3.4-12.fc39.i686.rpm 1.3.4 i686 Fedora Everything
idris-static-1.3.4-12.fc39.x86_64.rpm 1.3.4 x86_64 Fedora Everything


نیازمندی

مقدار نام
- gcc
>= 2.37.9000-18 glibc
- gmp-devel
= 1.3.4-12.fc39 idris-common
= 1.3.4-12.fc39 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)
- libc.so.6(GLIBC_2.38)(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-12.fc39 idris
= 1.3.4-12.fc39 idris(aarch-64)


نحوه نصب


نصب پکیج rpm idris:

    dnf install idris-1.3.4-12.fc39.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/5d
/usr/lib/.build-id/5d/7b8c8f890d7ac44ac35bee05913f67805f6acd
/usr/lib/.build-id/78
/usr/lib/.build-id/78/75fcec41e9299a4247c1b7505354ae46de1180
/usr/lib/.build-id/de
/usr/lib/.build-id/de/1f4cd13aa6b1486f2891f36c028e0104151328
/usr/lib/.build-id/e4
/usr/lib/.build-id/e4/64ef3b7827836c2be564403ff2785d6729f4ec
/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


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

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