معرفی شرکت ها

coqide_8.12.0-3+b3_armhf.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
توزیع Debian Bullseye-11
مخزن Debian main armhf
نام بسته coqide
نام فایل بسته coqide_8.12.0-3+b3_armhf.deb
نسخه بسته 8.12.0
انتشار بسته 3+b3
معماری بسته armhf
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://coq.inria.fr/
مجوز -
حجم دانلود 1736840
حجم نصب 6255
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.12.0-3+b3_amd64.deb 8.12.0 amd64 Debian main
coqide_8.12.0-3+b3_arm64.deb 8.12.0 arm64 Debian main
coqide_8.12.0-3+b3_armel.deb 8.12.0 armel Debian main
coqide_8.12.0-3+b3_i386.deb 8.12.0 i386 Debian main
coqide_8.12.0-3+b3_mips64el.deb 8.12.0 mips64el Debian main
coqide_8.12.0-3+b3_mipsel.deb 8.12.0 mipsel Debian main
coqide_8.12.0-3+b3_ppc64el.deb 8.12.0 ppc64el Debian main


نیازمندی

مقدار نام
= 8.12.0-3+b3 coq
>= 2.29 libc6
>= 1.12.0 libcairo2
>= 2.12.6 libfontconfig1
>= 2.2.1 libfreetype6
>= 2.22.0 libgdk-pixbuf-2.0-0 (>= 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.12.0-3+b3_armhf.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/NEWS.Debian.gz
./usr/share/doc/coqide/changelog.Debian.armhf.gz
./usr/share/doc/coqide/changelog.Debian.gz
./usr/share/doc/coqide/copyright
./usr/share/man/man1/coqide.1.gz
./usr/share/pixmaps/coqide.xpm
./usr/share/man/man1/coqide.byte.1.gz -> coqide.1.gz
./usr/share/man/man1/coqide.opt.1.gz -> coqide.1.gz