معرفی شرکت ها

idris-1.3.4-6.fc38.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 38
مخزن Fedora Everything x86_64
نام بسته idris
نام فایل بسته idris-1.3.4-6.fc38.x86_64.rpm
نسخه بسته 1.3.4
انتشار بسته 6.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Fri 17 Feb 2023 06
هاست سازنده buildvm-x86-05.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://hackage.haskell.org/package/idris
مجوز BSD-3-Clause
حجم دانلود 27M
حجم نصب 180.312M
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.src.rpm 1.3.4 i686 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


نیازمندی

مقدار نام
- gcc
- gmp-devel
= 1.3.4-6.fc38 idris-common
= 1.3.4-6.fc38 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)
- 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-6.fc38 idris
= 1.3.4-6.fc38 idris(x86-64)


نحوه نصب


نصب پکیج rpm idris:

    dnf install idris-1.3.4-6.fc38.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/8d
/usr/lib/.build-id/8d/4b3b0e7cc28eb61b670f5db6b82ddf3d4bd352
/usr/lib/.build-id/8e
/usr/lib/.build-id/8e/6de6e83f24b10b9a3695997c6741eb5d1d6578
/usr/lib/.build-id/c5
/usr/lib/.build-id/c5/a5ed2822fb0aa37007a952c980d4a411c72722
/usr/lib/.build-id/dd
/usr/lib/.build-id/dd/d130614a6ca700fc58ff091769bba608eeca6a
/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-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