معرفی شرکت ها

coqide_8.12.0-3+b3_mipsel.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 mipsel
نام بسته coqide
نام فایل بسته coqide_8.12.0-3+b3_mipsel.deb
نسخه بسته 8.12.0
انتشار بسته 3+b3
معماری بسته mipsel
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://coq.inria.fr/
مجوز -
حجم دانلود 46768
حجم نصب 111
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_armhf.deb 8.12.0 armhf 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_ppc64el.deb 8.12.0 ppc64el Debian main


نیازمندی

مقدار نام
= 8.12.0-3+b3 coq


نحوه نصب


نصب پکیج deb coqide:

    sudo apt-get install coqide_8.12.0-3+b3_mipsel.deb


فایل ها

مسیرها
./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.gz
./usr/share/doc/coqide/changelog.Debian.mipsel.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