معرفی شرکت ها
coq-theories_8.9.0-1_armel.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | Linux |
توزیع | Debian Buster-10 |
مخزن | Debian main armel |
نام بسته | coq-theories |
نام فایل بسته | coq-theories_8.9.0-1_armel.deb |
نسخه بسته | 8.9.0 |
انتشار بسته | 1 |
معماری بسته | armel |
نگهدارنده | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
تاریخ ساخت | - |
هاست سازنده | - |
نوع بسته | .deb |
آدرس صفحه اصلی | http://coq.inria.fr/ |
مجوز | - |
حجم دانلود | 20356976 |
حجم نصب | 130403 |
جایگزین ها
بسته | نسخه | معماری | مخزن |
---|---|---|---|
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_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+4.05.0 |
نحوه نصب
نصب پکیج deb coq-theories:
sudo apt-get install coq-theories_8.9.0-1_armel.deb
فایل ها
مسیرها |
---|
./usr/lib/coq/plugins/btauto/Algebra.glob |
./usr/lib/coq/plugins/btauto/Algebra.v |
./usr/lib/coq/plugins/btauto/Algebra.vo |
./usr/lib/coq/plugins/btauto/Btauto.glob |
./usr/lib/coq/plugins/btauto/Btauto.v |
./usr/lib/coq/plugins/btauto/Btauto.vo |
./usr/lib/coq/plugins/btauto/Reflect.glob |
./usr/lib/coq/plugins/btauto/Reflect.v |
./usr/lib/coq/plugins/btauto/Reflect.vo |
./usr/lib/coq/plugins/derive/Derive.glob |
./usr/lib/coq/plugins/derive/Derive.v |
./usr/lib/coq/plugins/derive/Derive.vo |
./usr/lib/coq/plugins/extraction/ExtrHaskellBasic.glob |
./usr/lib/coq/plugins/extraction/ExtrHaskellBasic.v |
./usr/lib/coq/plugins/extraction/ExtrHaskellBasic.vo |
./usr/lib/coq/plugins/extraction/ExtrHaskellNatInt.glob |
./usr/lib/coq/plugins/extraction/ExtrHaskellNatInt.v |
./usr/lib/coq/plugins/extraction/ExtrHaskellNatInt.vo |
./usr/lib/coq/plugins/extraction/ExtrHaskellNatInteger.glob |
./usr/lib/coq/plugins/extraction/ExtrHaskellNatInteger.v |
./usr/lib/coq/plugins/extraction/ExtrHaskellNatInteger.vo |
./usr/lib/coq/plugins/extraction/ExtrHaskellNatNum.glob |
./usr/lib/coq/plugins/extraction/ExtrHaskellNatNum.v |
./usr/lib/coq/plugins/extraction/ExtrHaskellNatNum.vo |
./usr/lib/coq/plugins/extraction/ExtrHaskellString.glob |
./usr/lib/coq/plugins/extraction/ExtrHaskellString.v |
./usr/lib/coq/plugins/extraction/ExtrHaskellString.vo |
./usr/lib/coq/plugins/extraction/ExtrHaskellZInt.glob |
./usr/lib/coq/plugins/extraction/ExtrHaskellZInt.v |
./usr/lib/coq/plugins/extraction/ExtrHaskellZInt.vo |
./usr/lib/coq/plugins/extraction/ExtrHaskellZInteger.glob |
./usr/lib/coq/plugins/extraction/ExtrHaskellZInteger.v |
./usr/lib/coq/plugins/extraction/ExtrHaskellZInteger.vo |
./usr/lib/coq/plugins/extraction/ExtrHaskellZNum.glob |
./usr/lib/coq/plugins/extraction/ExtrHaskellZNum.v |
./usr/lib/coq/plugins/extraction/ExtrHaskellZNum.vo |
./usr/lib/coq/plugins/extraction/ExtrOcamlBasic.glob |
./usr/lib/coq/plugins/extraction/ExtrOcamlBasic.v |
./usr/lib/coq/plugins/extraction/ExtrOcamlBasic.vo |
./usr/lib/coq/plugins/extraction/ExtrOcamlBigIntConv.glob |
./usr/lib/coq/plugins/extraction/ExtrOcamlBigIntConv.v |
./usr/lib/coq/plugins/extraction/ExtrOcamlBigIntConv.vo |
./usr/lib/coq/plugins/extraction/ExtrOcamlIntConv.glob |
./usr/lib/coq/plugins/extraction/ExtrOcamlIntConv.v |
./usr/lib/coq/plugins/extraction/ExtrOcamlIntConv.vo |
./usr/lib/coq/plugins/extraction/ExtrOcamlNatBigInt.glob |
./usr/lib/coq/plugins/extraction/ExtrOcamlNatBigInt.v |
./usr/lib/coq/plugins/extraction/ExtrOcamlNatBigInt.vo |
./usr/lib/coq/plugins/extraction/ExtrOcamlNatInt.glob |
./usr/lib/coq/plugins/extraction/ExtrOcamlNatInt.v |
... and 2356 more |