معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

A dependently typed functional programming language and proof assistant

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything x86_64
نام بسته	Agda
نام فایل بسته	Agda-2.6.2.2-38.fc38.src.rpm
نسخه بسته	2.6.2.2
انتشار بسته	38.fc38
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Fri 17 Feb 2023 08
هاست سازنده	buildvm-x86-07.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://hackage.haskell.org/package/Agda
مجوز	MIT and BSD-3-Clause
حجم دانلود	1.7M
حجم نصب	1.681M

Agda is a dependently typed functional programming language: it has inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterized modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL.

جایگزین ها

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

نیازمندی

مقدار	نام
-	alex
-	dos2unix
-	emacs(bin)
-	ghc-Cabal-devel
-	ghc-aeson-devel
-	ghc-aeson-prof
-	ghc-array-devel
-	ghc-array-prof
-	ghc-async-devel
-	ghc-async-prof
-	ghc-base-devel
-	ghc-base-prof
-	ghc-binary-devel
-	ghc-binary-prof
-	ghc-blaze-html-devel
-	ghc-blaze-html-prof
-	ghc-boxes-devel
-	ghc-boxes-prof
-	ghc-bytestring-devel
-	ghc-bytestring-prof
-	ghc-case-insensitive-devel
-	ghc-case-insensitive-prof
-	ghc-containers-devel
-	ghc-containers-prof
-	ghc-data-hash-devel
-	ghc-data-hash-prof
-	ghc-deepseq-devel
-	ghc-deepseq-prof
-	ghc-directory-devel
-	ghc-directory-prof
-	ghc-edit-distance-devel
-	ghc-edit-distance-prof
-	ghc-equivalence-devel
-	ghc-equivalence-prof
-	ghc-exceptions-devel
-	ghc-exceptions-prof
-	ghc-filepath-devel
-	ghc-filepath-prof
-	ghc-ghc-compact-devel
-	ghc-ghc-compact-prof
-	ghc-gitrev-devel
-	ghc-gitrev-prof
-	ghc-hashable-devel
-	ghc-hashable-prof
-	ghc-hashtables-devel
-	ghc-hashtables-prof
-	ghc-haskeline-devel
-	ghc-haskeline-prof
-	ghc-monad-control-devel
-	ghc-monad-control-prof
-	ghc-mtl-devel
-	ghc-mtl-prof
-	ghc-parallel-devel
-	ghc-parallel-prof
-	ghc-pretty-devel
-	ghc-pretty-prof
-	ghc-process-devel
-	ghc-process-prof
-	ghc-regex-tdfa-devel
-	ghc-regex-tdfa-prof
-	ghc-rpm-macros-extra
-	ghc-split-devel
-	ghc-split-prof
-	ghc-stm-devel
-	ghc-stm-prof
-	ghc-strict-devel
-	ghc-strict-prof
-	ghc-template-haskell-devel
-	ghc-template-haskell-prof
-	ghc-text-devel
-	ghc-text-prof
-	ghc-time-devel
-	ghc-time-prof
-	ghc-transformers-devel
-	ghc-transformers-prof
-	ghc-unordered-containers-devel
-	ghc-unordered-containers-prof
-	ghc-uri-encode-devel
-	ghc-uri-encode-prof
-	ghc-zlib-devel
-	ghc-zlib-prof
-	happy

ارائه دهنده

مقدار	نام
= 2.6.2.2-38.fc38	Agda
= 2.6.2.2-38.fc38	Agda-common
= 2.6.2.2-38.fc38	ghc-Agda
= 2.6.2.2-38.fc38	ghc-Agda-devel
= 2.6.2.2-38.fc38	ghc-Agda-prof
= 2.6.2.2-38.fc38	Agda-debuginfo
= 2.6.2.2-38.fc38	Agda-debugsource

نحوه نصب

نصب پکیج rpm Agda:

dnf install Agda-2.6.2.2-38.fc38.src.rpm

فایل ها

مسیرها
Agda-2.6.2.2.cabal
Agda-2.6.2.2.tar.gz
Agda.spec
agda-mode-init.el
geniplate-mirror-0.7.9.tar.gz

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

تاریخ آخرین تغییر	جزئیات
2023-02-18	refresh to cabal-rpm-2.1.0 including SPDX migration bump geniplate-mirror to 0.7.9
2022-07-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-06-20	add Provides agda
2022-06-07	https://hackage.haskell.org/package/Agda-2.6.2.2/changelog disable i686 (#2098425)
2022-03-07	https://hackage.haskell.org/package/Agda-2.6.2.1/changelog
2022-01-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2022-01-08	Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34
2021-08-05	update to 2.6.2 https://hackage.haskell.org/package/Agda-2.6.2/changelog disable armv7hl due to out of memory (#73471404)
2021-08-05	update to 2.6.1.3
2021-07-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild