معرفی شرکت ها

coqide_8.6-5build1_i386.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

proof assistant for higher-order logic (gtk interface)
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Bionic-18.04
مخزن Ubuntu universe i386
نام بسته coqide
نام فایل بسته coqide_8.6-5build1_i386.deb
نسخه بسته 8.6
انتشار بسته 5build1
معماری بسته i386
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://coq.inria.fr/
مجوز -
حجم دانلود 1388920
حجم نصب 6128
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.


جایگزین ها

بسته نسخه معماری مخزن
coqide_8.6-5build1_amd64.deb 8.6 amd64 Ubuntu universe


نیازمندی

مقدار نام
= 8.6-5build1 coq
- libcoq-ocaml-6pjp3
- ocaml-base-nox-4.05.0
>= 2.17 libc6
>= 2.22.0 libgdk-pixbuf2.0-0
>= 2.35.9 libglib2.0-0
>= 2.24.31 libgtk2.0-0
>= 2.10.0 libgtksourceview2.0-0
>= 1.14.0 libpango-1.0-0


نحوه نصب


نصب پکیج deb coqide:

    sudo apt-get install coqide_8.6-5build1_i386.deb


فایل ها

مسیرها
./usr/bin/coqide
./usr/lib/coq/toploop/coqidetop.cma
./usr/lib/coq/toploop/coqidetop.cmxs
./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/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