معرفی شرکت ها

agda-mode_2.5.4.1-3_all.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

transitional dummy package for elpa-agda2-mode
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main all
نام بسته agda-mode
نام فایل بسته agda-mode_2.5.4.1-3_all.deb
نسخه بسته 2.5.4.1
انتشار بسته 3
معماری بسته all
نگهدارنده Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://wiki.portal.chalmers.se/agda/
مجوز -
حجم دانلود 117680
حجم نصب 122
agda-mode has been ELPAfied. See the elpa-agda2-mode package. This transitional package is safe to remove.


نیازمندی

مقدار نام
-


نحوه نصب


نصب پکیج deb agda-mode:

    sudo apt-get install agda-mode_2.5.4.1-3_all.deb


فایل ها

مسیرها
./usr/share/doc/agda-mode/buildinfo_all.gz
./usr/share/doc/agda-mode/changelog.Debian.gz
./usr/share/doc/agda-mode/changelog.gz
./usr/share/doc/agda-mode/copyright