معرفی شرکت ها
coqide_8.11.0-1_amd64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Focal-20.04 |
| مخزن | Ubuntu universe amd64 |
| نام بسته | coqide |
| نام فایل بسته | coqide_8.11.0-1_amd64.deb |
| نسخه بسته | 8.11.0 |
| انتشار بسته | 1 |
| معماری بسته | amd64 |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://coq.inria.fr/ |
| مجوز | - |
| حجم دانلود | 1758824 |
| حجم نصب | 9217 |
نیازمندی
| مقدار | نام |
|---|---|
| = 8.11.0-1 | coq |
| >= 2.29 | libc6 |
| >= 1.12.0 | libcairo2 |
| >= 2.12.6 | libfontconfig1 |
| >= 2.2.1 | libfreetype6 |
| >= 2.22.0 | libgdk-pixbuf2.0-0 |
| >= 2.35.9 | libglib2.0-0 |
| >= 3.1.4 | libgtk-3-0 |
| >= 2.91.4 | libgtksourceview-3.0-1 |
| >= 1.14.0 | libpango-1.0-0 |
نحوه نصب
نصب پکیج deb coqide:
sudo apt-get install coqide_8.11.0-1_amd64.deb
فایل ها
| مسیرها |
|---|
| ./usr/bin/coqide |
| ./usr/share/applications/coqide.desktop |
| ./usr/share/coq/coq-ssreflect.lang |
| ./usr/share/coq/coq.lang |
| ./usr/share/coq/coq.png |
| ./usr/share/coq/coq_style.xml |
| ./usr/share/coq/default.bindings |
| ./usr/share/doc/coqide/FAQ-CoqIde |
| ./usr/share/doc/coqide/copyright |
| ./usr/share/man/man1/coqide.1.gz |
| ./usr/share/pixmaps/coqide.xpm |
| ./usr/share/doc/coqide/NEWS.Debian.gz -> ../coq-theories/NEWS.Debian.gz |
| ./usr/share/doc/coqide/changelog.Debian.gz -> ../coq-theories/changelog.Debian.gz |
| ./usr/share/man/man1/coqide.byte.1.gz -> coqide.1.gz |
| ./usr/share/man/man1/coqide.opt.1.gz -> coqide.1.gz |