معرفی شرکت ها

Agda-2.6.2.2-38.fc38.x86_64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

A dependently typed functional programming language and proof assistant
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything x86_64
نام بسته Agda
نام فایل بسته Agda-2.6.2.2-38.fc38.x86_64.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
حجم دانلود 9.6M
حجم نصب 63.826M
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.src.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


نیازمندی

مقدار نام
= 2.6.2.2-38.fc38 Agda-common
- libc.so.6()(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)


ارائه دهنده

مقدار نام
= 2.6.2.2-38.fc38 Agda
= 2.6.2.2-38.fc38 Agda(x86-64)
= 2.6.2.2-38.fc38 agda
= 2.6.2.2-38.fc38 emacs-agda


نحوه نصب


نصب پکیج rpm Agda:

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


فایل ها

مسیرها
/usr/bin/agda
/usr/lib/.build-id
/usr/lib/.build-id/b3
/usr/lib/.build-id/b3/c943d9ca92b3e1dd44664d8f250cd87c4ac5aa
/usr/share/emacs/site-lisp/agda
/usr/share/emacs/site-lisp/agda/agda-input.el
/usr/share/emacs/site-lisp/agda/agda-input.elc
/usr/share/emacs/site-lisp/agda/agda2-abbrevs.el
/usr/share/emacs/site-lisp/agda/agda2-abbrevs.elc
/usr/share/emacs/site-lisp/agda/agda2-highlight.el
/usr/share/emacs/site-lisp/agda/agda2-highlight.elc
/usr/share/emacs/site-lisp/agda/agda2-mode-pkg.el
/usr/share/emacs/site-lisp/agda/agda2-mode-pkg.elc
/usr/share/emacs/site-lisp/agda/agda2-mode.el
/usr/share/emacs/site-lisp/agda/agda2-mode.elc
/usr/share/emacs/site-lisp/agda/agda2-queue.el
/usr/share/emacs/site-lisp/agda/agda2-queue.elc
/usr/share/emacs/site-lisp/agda/agda2.el
/usr/share/emacs/site-lisp/agda/agda2.elc
/usr/share/emacs/site-lisp/agda/annotation.el
/usr/share/emacs/site-lisp/agda/annotation.elc
/usr/share/emacs/site-lisp/agda/eri.el
/usr/share/emacs/site-lisp/agda/eri.elc


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

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