معرفی شرکت ها

coq_8.9.0-1_mips64el.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

proof assistant for higher-order logic (toplevel and compiler)
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main mips64el
نام بسته coq
نام فایل بسته coq_8.9.0-1_mips64el.deb
نسخه بسته 8.9.0
انتشار بسته 1
معماری بسته mips64el
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://coq.inria.fr/
مجوز -
حجم دانلود 50027828
حجم نصب 193120
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 coqtop, a command line interface to Coq. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs.


جایگزین ها

بسته نسخه معماری مخزن
coq-theories_8.9.0-1_amd64.deb 8.9.0 amd64 Debian main
coq-theories_8.9.0-1_arm64.deb 8.9.0 arm64 Debian main
coq-theories_8.9.0-1_armel.deb 8.9.0 armel Debian main
coq-theories_8.9.0-1_armhf.deb 8.9.0 armhf Debian main
coq-theories_8.9.0-1_i386.deb 8.9.0 i386 Debian main
coq-theories_8.9.0-1_mips.deb 8.9.0 mips Debian main
coq-theories_8.9.0-1_mips64el.deb 8.9.0 mips64el Debian main
coq-theories_8.9.0-1_mipsel.deb 8.9.0 mipsel Debian main
coq-theories_8.9.0-1_ppc64el.deb 8.9.0 ppc64el Debian main
coq-theories_8.9.0-1_s390x.deb 8.9.0 s390x Debian main
coq_8.9.0-1_amd64.deb 8.9.0 amd64 Debian main
coq_8.9.0-1_arm64.deb 8.9.0 arm64 Debian main
coq_8.9.0-1_armel.deb 8.9.0 armel Debian main
coq_8.9.0-1_armhf.deb 8.9.0 armhf Debian main
coq_8.9.0-1_i386.deb 8.9.0 i386 Debian main
coq_8.9.0-1_mips.deb 8.9.0 mips Debian main
coq_8.9.0-1_mipsel.deb 8.9.0 mipsel Debian main
coq_8.9.0-1_ppc64el.deb 8.9.0 ppc64el Debian main
coq_8.9.0-1_s390x.deb 8.9.0 s390x Debian main


نیازمندی

مقدار نام
= 8.9.0-1 coq-theories
- libcoq-ocaml-vdaz0
- ocaml-base-nox-4.05.0
- python3:any
- ocaml-nox
- ocaml-findlib


نحوه نصب


نصب پکیج deb coq:

    sudo apt-get install coq_8.9.0-1_mips64el.deb


فایل ها

مسیرها
./usr/bin/coq-tex
./usr/bin/coq_makefile
./usr/bin/coqc
./usr/bin/coqchk
./usr/bin/coqdep
./usr/bin/coqdoc
./usr/bin/coqpp
./usr/bin/coqproofworker.byte
./usr/bin/coqqueryworker.byte
./usr/bin/coqtacticworker.byte
./usr/bin/coqtop
./usr/bin/coqtop.byte
./usr/bin/coqwc
./usr/bin/coqworkmgr
./usr/lib/coq/plugins/micromega/csdpcert
./usr/lib/coq/tools/CoqMakefile.in
./usr/lib/coq/tools/TimeFileMaker.py
./usr/lib/coq/tools/coqdoc/coqdoc.css
./usr/lib/coq/tools/coqdoc/coqdoc.sty
./usr/lib/coq/tools/make-both-single-timing-files
./usr/lib/coq/tools/make-both-time-files
./usr/lib/coq/tools/make-one-time-file
./usr/share/coq/coqvars.mk
./usr/share/doc/coq/CREDITS.gz
./usr/share/doc/coq/NEWS.Debian.gz
./usr/share/doc/coq/README.Debian
./usr/share/doc/coq/README.md
./usr/share/doc/coq/changelog.Debian.gz
./usr/share/doc/coq/changelog.gz
./usr/share/doc/coq/copyright
./usr/share/lintian/overrides/coq
./usr/share/man/man1/coq-tex.1.gz
./usr/share/man/man1/coq_makefile.1.gz
./usr/share/man/man1/coqc.1.gz
./usr/share/man/man1/coqchk.1.gz
./usr/share/man/man1/coqdep.1.gz
./usr/share/man/man1/coqdoc.1.gz
./usr/share/man/man1/coqtop.1.gz
./usr/share/man/man1/coqtop.byte.1.gz
./usr/share/man/man1/coqtop.opt.1.gz
./usr/share/man/man1/coqwc.1.gz
./usr/share/pixmaps/coq.xpm
./usr/share/python3/runtime.d/coq.rtupdate
./usr/share/texmf/tex/latex/misc/coqdoc.sty