معرفی شرکت ها

idris-common-1.3.4-5.fc37.noarch.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Idris libraries
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 37
مخزن Fedora Everything noarch
نام بسته idris-common
نام فایل بسته idris-common-1.3.4-5.fc37.noarch.rpm
نسخه بسته 1.3.4
انتشار بسته 5.fc37
معماری بسته noarch
نگهدارنده -
تاریخ ساخت Thu 21 Jul 2022 07
هاست سازنده buildvm-x86-26.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://hackage.haskell.org/package/idris
مجوز BSD
حجم دانلود 4.1M
حجم نصب 4.656M
This package provides the Idris libraries development files.


ارائه دهنده

مقدار نام
= 1.3.4-5.fc37 idris-common


نحوه نصب


نصب پکیج rpm idris-common:

    dnf install idris-common-1.3.4-5.fc37.noarch.rpm


فایل ها

مسیرها
/usr/share/doc/idris-common
/usr/share/doc/idris-common/CHANGELOG.md
/usr/share/doc/idris-common/CONTRIBUTING.md
/usr/share/doc/idris-common/CONTRIBUTORS
/usr/share/doc/idris-common/README.md
/usr/share/idris-1.3.4
/usr/share/idris-1.3.4/idrisdoc
/usr/share/idris-1.3.4/idrisdoc/styles.css
/usr/share/idris-1.3.4/jsrts
/usr/share/idris-1.3.4/jsrts/Runtime-common.js
/usr/share/idris-1.3.4/jsrts/Runtime-javascript.js
/usr/share/idris-1.3.4/jsrts/Runtime-node.js
/usr/share/idris-1.3.4/jsrts/jsbn
/usr/share/idris-1.3.4/jsrts/jsbn/LICENSE
/usr/share/idris-1.3.4/jsrts/jsbn/jsbn-browser.js
/usr/share/idris-1.3.4/jsrts/jsbn/jsbn-node.js
/usr/share/idris-1.3.4/libs
/usr/share/idris-1.3.4/libs/base
/usr/share/idris-1.3.4/libs/base/00base-idx.ibc
/usr/share/idris-1.3.4/libs/base/Control
/usr/share/idris-1.3.4/libs/base/Control/Arrow.ibc
/usr/share/idris-1.3.4/libs/base/Control/Catchable.ibc
/usr/share/idris-1.3.4/libs/base/Control/Category.ibc
/usr/share/idris-1.3.4/libs/base/Control/IOExcept.ibc
/usr/share/idris-1.3.4/libs/base/Control/Isomorphism.ibc
/usr/share/idris-1.3.4/libs/base/Control/Monad
/usr/share/idris-1.3.4/libs/base/Control/Monad/Identity.ibc
/usr/share/idris-1.3.4/libs/base/Control/Monad/RWS.ibc
/usr/share/idris-1.3.4/libs/base/Control/Monad/Reader.ibc
/usr/share/idris-1.3.4/libs/base/Control/Monad/State.ibc
/usr/share/idris-1.3.4/libs/base/Control/Monad/Trans.ibc
/usr/share/idris-1.3.4/libs/base/Control/Monad/Writer.ibc
/usr/share/idris-1.3.4/libs/base/Data
/usr/share/idris-1.3.4/libs/base/Data/Bits.ibc
/usr/share/idris-1.3.4/libs/base/Data/Buffer.ibc
/usr/share/idris-1.3.4/libs/base/Data/Complex.ibc
/usr/share/idris-1.3.4/libs/base/Data/Erased.ibc
/usr/share/idris-1.3.4/libs/base/Data/Fin.ibc
/usr/share/idris-1.3.4/libs/base/Data/HVect.ibc
/usr/share/idris-1.3.4/libs/base/Data/IORef.ibc
/usr/share/idris-1.3.4/libs/base/Data/List
/usr/share/idris-1.3.4/libs/base/Data/List.ibc
/usr/share/idris-1.3.4/libs/base/Data/List/Quantifiers.ibc
/usr/share/idris-1.3.4/libs/base/Data/List/Views.ibc
/usr/share/idris-1.3.4/libs/base/Data/Mod2.ibc
/usr/share/idris-1.3.4/libs/base/Data/Morphisms.ibc
/usr/share/idris-1.3.4/libs/base/Data/Nat
/usr/share/idris-1.3.4/libs/base/Data/Nat/Views.ibc
/usr/share/idris-1.3.4/libs/base/Data/Primitives
/usr/share/idris-1.3.4/libs/base/Data/Primitives/Views.ibc
... and 265 more


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

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