معرفی شرکت ها
agda-stdlib_1.7.1-1_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | Linux |
توزیع | Debian Bookworm-12 |
مخزن | Debian main all |
نام بسته | agda-stdlib |
نام فایل بسته | agda-stdlib_1.7.1-1_all.deb |
نسخه بسته | 1.7.1 |
انتشار بسته | 1 |
معماری بسته | all |
نگهدارنده | Iain Lane <laney@debian.org> |
تاریخ ساخت | - |
هاست سازنده | - |
نوع بسته | .deb |
آدرس صفحه اصلی | https://wiki.portal.chalmers.se/agda/ |
مجوز | - |
حجم دانلود | 100043028 |
حجم نصب | 130703 |
جایگزین ها
بسته | نسخه | معماری | مخزن |
---|---|---|---|
agda-stdlib-doc_1.7.1-1_all.deb | 1.7.1 | all | Debian main |
نیازمندی
مقدار | نام |
---|---|
>= 2.6.2 | libghc-agda-dev |
<< 2.6.3~ | libghc-agda-dev |
نحوه نصب
نصب پکیج deb agda-stdlib:
sudo apt-get install agda-stdlib_1.7.1-1_all.deb
فایل ها
مسیرها |
---|
./etc/emacs/site-start.d/60agda-stdlib.el |
./usr/share/agda-stdlib/Algebra/Bundles.agda |
./usr/share/agda-stdlib/Algebra/Bundles.agdai |
./usr/share/agda-stdlib/Algebra/Consequences/Base.agda |
./usr/share/agda-stdlib/Algebra/Consequences/Base.agdai |
./usr/share/agda-stdlib/Algebra/Consequences/Propositional.agda |
./usr/share/agda-stdlib/Algebra/Consequences/Propositional.agdai |
./usr/share/agda-stdlib/Algebra/Consequences/Setoid.agda |
./usr/share/agda-stdlib/Algebra/Consequences/Setoid.agdai |
./usr/share/agda-stdlib/Algebra/Construct/DirectProduct.agda |
./usr/share/agda-stdlib/Algebra/Construct/DirectProduct.agdai |
./usr/share/agda-stdlib/Algebra/Construct/LexProduct/Base.agda |
./usr/share/agda-stdlib/Algebra/Construct/LexProduct/Base.agdai |
./usr/share/agda-stdlib/Algebra/Construct/LexProduct/Inner.agda |
./usr/share/agda-stdlib/Algebra/Construct/LexProduct/Inner.agdai |
./usr/share/agda-stdlib/Algebra/Construct/LexProduct.agda |
./usr/share/agda-stdlib/Algebra/Construct/LexProduct.agdai |
./usr/share/agda-stdlib/Algebra/Construct/LiftedChoice.agda |
./usr/share/agda-stdlib/Algebra/Construct/LiftedChoice.agdai |
./usr/share/agda-stdlib/Algebra/Construct/NaturalChoice/Base.agda |
./usr/share/agda-stdlib/Algebra/Construct/NaturalChoice/Base.agdai |
./usr/share/agda-stdlib/Algebra/Construct/NaturalChoice/Max.agda |
./usr/share/agda-stdlib/Algebra/Construct/NaturalChoice/Max.agdai |
./usr/share/agda-stdlib/Algebra/Construct/NaturalChoice/MaxOp.agda |
./usr/share/agda-stdlib/Algebra/Construct/NaturalChoice/MaxOp.agdai |
./usr/share/agda-stdlib/Algebra/Construct/NaturalChoice/Min.agda |
./usr/share/agda-stdlib/Algebra/Construct/NaturalChoice/Min.agdai |
./usr/share/agda-stdlib/Algebra/Construct/NaturalChoice/MinMaxOp.agda |
./usr/share/agda-stdlib/Algebra/Construct/NaturalChoice/MinMaxOp.agdai |
./usr/share/agda-stdlib/Algebra/Construct/NaturalChoice/MinOp.agda |
./usr/share/agda-stdlib/Algebra/Construct/NaturalChoice/MinOp.agdai |
./usr/share/agda-stdlib/Algebra/Construct/Subst/Equality.agda |
./usr/share/agda-stdlib/Algebra/Construct/Subst/Equality.agdai |
./usr/share/agda-stdlib/Algebra/Construct/Zero.agda |
./usr/share/agda-stdlib/Algebra/Construct/Zero.agdai |
./usr/share/agda-stdlib/Algebra/Core.agda |
./usr/share/agda-stdlib/Algebra/Core.agdai |
./usr/share/agda-stdlib/Algebra/Definitions/RawMagma.agda |
./usr/share/agda-stdlib/Algebra/Definitions/RawMagma.agdai |
./usr/share/agda-stdlib/Algebra/Definitions/RawMonoid.agda |
./usr/share/agda-stdlib/Algebra/Definitions/RawMonoid.agdai |
./usr/share/agda-stdlib/Algebra/Definitions/RawSemiring.agda |
./usr/share/agda-stdlib/Algebra/Definitions/RawSemiring.agdai |
./usr/share/agda-stdlib/Algebra/Definitions.agda |
./usr/share/agda-stdlib/Algebra/Definitions.agdai |
./usr/share/agda-stdlib/Algebra/FunctionProperties/Consequences/Core.agda |
./usr/share/agda-stdlib/Algebra/FunctionProperties/Consequences/Propositional.agda |
./usr/share/agda-stdlib/Algebra/FunctionProperties/Consequences.agda |
./usr/share/agda-stdlib/Algebra/FunctionProperties/Core.agda |
./usr/share/agda-stdlib/Algebra/FunctionProperties.agda |
... and 1736 more |