معرفی شرکت ها

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

Agda standard libraries

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything noarch
نام بسته	Agda-stdlib
نام فایل بسته	Agda-stdlib-1.7.1-5.fc38.src.rpm
نسخه بسته	1.7.1
انتشار بسته	5.fc38
معماری بسته	noarch
نگهدارنده	-
تاریخ ساخت	Tue 21 Feb 2023 07
هاست سازنده	buildvm-s390x-23.s390.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
مجوز	MIT
حجم دانلود	936K
حجم نصب	925.063K

Agda standard libraries

بسته	نسخه	معماری	مخزن
Agda-stdlib-1.7.1-5.fc38.noarch.rpm	1.7.1	noarch	Fedora Everything
Agda-stdlib-docs-1.7.1-5.fc38.noarch.rpm	1.7.1	noarch	Fedora Everything

مقدار	نام
= 1.7.1-5.fc38	Agda-stdlib
= 1.7.1-5.fc38	Agda-stdlib-docs

نصب پکیج rpm Agda-stdlib:

dnf install Agda-stdlib-1.7.1-5.fc38.src.rpm

مسیرها
Agda-stdlib.spec

تاریخ آخرین تغییر	جزئیات
2023-02-20	rebuild
2023-01-18	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-07-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-06-21	rebuild against Agda-2.6.2.2
2022-03-09	https://github.com/agda/agda-stdlib/blob/v1.7.1/CHANGELOG.md
2022-01-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-08-09	https://github.com/agda/agda-stdlib/blob/v1.7/CHANGELOG.md disable armv7hl: no Agda - runs out of memory
2021-07-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild