معرفی شرکت ها

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

transitional dummy package for elpa-agda2-mode

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Ubuntu Bionic-18.04
مخزن	Ubuntu universe all
نام بسته	agda-mode
نام فایل بسته	agda-mode_2.5.3-3build1_all.deb
نسخه بسته	2.5.3
انتشار بسته	3build1
معماری بسته	all
نگهدارنده	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت	-
هاست سازنده	-
نوع بسته	.deb
آدرس صفحه اصلی	http://wiki.portal.chalmers.se/agda/
مجوز	-
حجم دانلود	3584
حجم نصب	23

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.3-3build1_all.deb

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