معرفی شرکت ها
coq_8.16.1+dfsg-1+b2_s390x.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main s390x |
| نام بسته | coq |
| نام فایل بسته | coq_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/ |
| مجوز | - |
| حجم دانلود | 93314900 |
| حجم نصب | 375279 |
جایگزین ها
نیازمندی
| مقدار | نام |
|---|---|
| = 8.16.1+dfsg-1+b2 | libcoq-stdlib |
| - | libcoq-core-ocaml-7k9u9 |
| - | libfindlib-ocaml-dhcd7 |
| - | libzarith-ocaml-vtl52 |
| - | ocaml-base-4.13.1 |
| - | python3:any |
| >= 2.35 | libc6 |
| >= 2:6.2.1+dfsg1 | libgmp10 |
| - | ocaml-nox |
| - | ocaml-findlib |
نحوه نصب
نصب پکیج deb coq:
sudo apt-get install coq_8.16.1+dfsg-1+b2_s390x.deb
فایل ها
| مسیرها |
|---|
| ./usr/bin/coq-makefile-make-both-single-timing-files |
| ./usr/bin/coq-makefile-make-both-time-files |
| ./usr/bin/coq-makefile-make-one-time-file |
| ./usr/bin/coq-tex |
| ./usr/bin/coq_makefile |
| ./usr/bin/coqc |
| ./usr/bin/coqc.byte |
| ./usr/bin/coqchk |
| ./usr/bin/coqdep |
| ./usr/bin/coqdoc |
| ./usr/bin/coqidetop.byte |
| ./usr/bin/coqidetop.opt |
| ./usr/bin/coqnative |
| ./usr/bin/coqpp |
| ./usr/bin/coqproofworker.opt |
| ./usr/bin/coqqueryworker.opt |
| ./usr/bin/coqtacticworker.opt |
| ./usr/bin/coqtop |
| ./usr/bin/coqtop.byte |
| ./usr/bin/coqtop.opt |
| ./usr/bin/coqwc |
| ./usr/bin/coqworkmgr |
| ./usr/bin/csdpcert |
| ./usr/bin/ocamllibdep |
| ./usr/bin/votour |
| ./usr/lib/ocaml/coq-core/tools/CoqMakefile.in |
| ./usr/lib/ocaml/coq-core/tools/TimeFileMaker.py |
| ./usr/lib/ocaml/coq-core/tools/coqdoc/coqdoc.css |
| ./usr/lib/ocaml/coq-core/tools/coqdoc/coqdoc.sty |
| ./usr/share/coq/coqvars.mk |
| ./usr/share/doc/coq/CODE_OF_CONDUCT.md.gz |
| ./usr/share/doc/coq/CONTRIBUTING.md.gz |
| ./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.gz |
| ./usr/share/doc/coq/TODO.Debian |
| ./usr/share/doc/coq/changelog.Debian.gz |
| ./usr/share/doc/coq/changelog.Debian.s390x.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/coqnative.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/texmf/tex/latex/misc/coqdoc.sty |
| ./usr/share/man/man1/coqc.byte.1.gz -> coqc.1.gz |
| ./usr/share/man/man1/coqchk.opt.1.gz -> coqchk.1.gz |