معرفی شرکت ها

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

دانلود نسخه باینری دانلود نسخه سورس

Idris RTS

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything aarch64
نام بسته	idris-static
نام فایل بسته	idris-static-1.3.4-12.fc39.aarch64.rpm
نسخه بسته	1.3.4
انتشار بسته	12.fc39
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Sun Jul 30 12
هاست سازنده	buildvm-a64-08.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://hackage.haskell.org/package/idris
مجوز	BSD-3-Clause
حجم دانلود	112K
حجم نصب	1.072M

This package provides the Idris RTS.

بسته	نسخه	معماری	مخزن
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

مقدار	نام
= 1.3.4-12.fc39	idris-static
= 1.3.4-12.fc39	idris-static(aarch-64)

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

dnf install idris-static-1.3.4-12.fc39.aarch64.rpm

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