معرفی شرکت ها

libcoq-ext-lib_0.11.7-2+b1_amd64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Collection of theories and plugins for Coq
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main amd64
نام بسته libcoq-ext-lib
نام فایل بسته libcoq-ext-lib_0.11.7-2+b1_amd64.deb
نسخه بسته 0.11.7
انتشار بسته 2+b1
معماری بسته amd64
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/coq-community/coq-ext-lib
مجوز -
حجم دانلود 758316
حجم نصب 3659
This package provides a collection of theories and plugins that may be useful in other Coq developments. . Coq is a proof assistant for higher-order logic.


جایگزین ها

بسته نسخه معماری مخزن
libcoq-ext-lib_0.11.7-2+b1_arm64.deb 0.11.7 arm64 Debian main
libcoq-ext-lib_0.11.7-2+b1_armhf.deb 0.11.7 armhf Debian main
libcoq-ext-lib_0.11.7-2+b1_i386.deb 0.11.7 i386 Debian main
libcoq-ext-lib_0.11.7-2+b1_ppc64el.deb 0.11.7 ppc64el Debian main
libcoq-ext-lib_0.11.7-2+b1_s390x.deb 0.11.7 s390x Debian main


نیازمندی

مقدار نام
- libcoq-stdlib-ewsr6


نحوه نصب


نصب پکیج deb libcoq-ext-lib:

    sudo apt-get install libcoq-ext-lib_0.11.7-2+b1_amd64.deb


فایل ها

مسیرها
./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/Any.glob
./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/Any.v
./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/Any.vo
./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/CmpDec.glob
./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/CmpDec.v
./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/CmpDec.vo
./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/Decision.glob
./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/Decision.v
./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/Decision.vo
./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/EquivDec.glob
./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/EquivDec.v
./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/EquivDec.vo
./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/RelDec.glob
./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/RelDec.v
./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/RelDec.vo
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Bool.glob
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Bool.v
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Bool.vo
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Char.glob
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Char.v
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Char.vo
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Checked.glob
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Checked.v
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Checked.vo
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Eq/UIP_trans.glob
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Eq/UIP_trans.v
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Eq/UIP_trans.vo
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Eq.glob
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Eq.v
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Eq.vo
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Fin.glob
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Fin.v
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Fin.vo
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Fun.glob
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Fun.v
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Fun.vo
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/BuildGraph.glob
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/BuildGraph.v
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/BuildGraph.vo
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/Graph.glob
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/Graph.v
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/Graph.vo
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/GraphAdjList.glob
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/GraphAdjList.v
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/GraphAdjList.vo
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/GraphAlgos.glob
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/GraphAlgos.v
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/GraphAlgos.vo
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/HList.glob
./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/HList.v
... and 309 more