معرفی شرکت ها

coqide_8.16.1+dfsg-1+b2_s390x.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 Bookworm-12
مخزن Debian main s390x
نام بسته coqide
نام فایل بسته coqide_8.16.1+dfsg-1+b2_s390x.deb
نسخه بسته 8.16.1+dfsg
انتشار بسته 1+b2
معماری بسته s390x
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://coq.inria.fr/
مجوز -
حجم دانلود 1979904
حجم نصب 10669
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.16.1+dfsg-1+b2_amd64.deb 8.16.1+dfsg amd64 Debian main
coqide_8.16.1+dfsg-1+b2_arm64.deb 8.16.1+dfsg arm64 Debian main
coqide_8.16.1+dfsg-1+b2_armhf.deb 8.16.1+dfsg armhf Debian main
coqide_8.16.1+dfsg-1+b2_i386.deb 8.16.1+dfsg i386 Debian main
coqide_8.16.1+dfsg-1+b2_ppc64el.deb 8.16.1+dfsg ppc64el Debian main


نیازمندی

مقدار نام
= 8.16.1+dfsg-1+b2 coq
>= 2.35 libc6
>= 1.12.0 libcairo2
>= 2.12.6 libfontconfig1
>= 2.2.1 libfreetype6
>= 2.22.0 libgdk-pixbuf-2.0-0
>= 2.35.9 libglib2.0-0
>= 3.11.5 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.16.1+dfsg-1+b2_s390x.deb


فایل ها

مسیرها
./usr/bin/coqide
./usr/lib/ocaml/coqide/META
./usr/lib/ocaml/coqide/dune-package
./usr/lib/ocaml/coqide/opam
./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
./usr/share/doc/coqide/NEWS.Debian.gz
./usr/share/doc/coqide/README.md.gz
./usr/share/doc/coqide/changelog.Debian.gz
./usr/share/doc/coqide/changelog.Debian.s390x.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