معرفی شرکت ها
why3-doc-html_1.2.0-1_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Buster-10 |
| مخزن | Debian main all |
| نام بسته | why3-doc-html |
| نام فایل بسته | why3-doc-html_1.2.0-1_all.deb |
| نسخه بسته | 1.2.0 |
| انتشار بسته | 1 |
| معماری بسته | all |
| نگهدارنده | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://why3.lri.fr/ |
| مجوز | - |
| حجم دانلود | 362080 |
| حجم نصب | 1335 |
نیازمندی
| مقدار | نام |
|---|---|
| >= 6 | tex-common |
نحوه نصب
نصب پکیج deb why3-doc-html:
sudo apt-get install why3-doc-html_1.2.0-1_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/share/doc/why3-doc-html/changelog.Debian.gz |
| ./usr/share/doc/why3-doc-html/changelog.gz |
| ./usr/share/doc/why3-doc-html/copyright |
| ./usr/share/doc/why3-doc-html/html/api.html |
| ./usr/share/doc/why3-doc-html/html/changes.html |
| ./usr/share/doc/why3-doc-html/html/contents_motif.svg |
| ./usr/share/doc/why3-doc-html/html/coqide-0-81.png |
| ./usr/share/doc/why3-doc-html/html/exec.html |
| ./usr/share/doc/why3-doc-html/html/foreword.html |
| ./usr/share/doc/why3-doc-html/html/gui-1.png |
| ./usr/share/doc/why3-doc-html/html/gui-2.png |
| ./usr/share/doc/why3-doc-html/html/gui-3.png |
| ./usr/share/doc/why3-doc-html/html/gui-4.png |
| ./usr/share/doc/why3-doc-html/html/gui-5.png |
| ./usr/share/doc/why3-doc-html/html/hello_proof.png |
| ./usr/share/doc/why3-doc-html/html/index.html |
| ./usr/share/doc/why3-doc-html/html/install.html |
| ./usr/share/doc/why3-doc-html/html/itp.html |
| ./usr/share/doc/why3-doc-html/html/manpages.html |
| ./usr/share/doc/why3-doc-html/html/manual.bbl |
| ./usr/share/doc/why3-doc-html/html/manual.css |
| ./usr/share/doc/why3-doc-html/html/manual.haux.gz |
| ./usr/share/doc/why3-doc-html/html/manual.hind.gz |
| ./usr/share/doc/why3-doc-html/html/manual.html |
| ./usr/share/doc/why3-doc-html/html/manual.htoc.gz |
| ./usr/share/doc/why3-doc-html/html/manual.image.tex |
| ./usr/share/doc/why3-doc-html/html/manual012.html |
| ./usr/share/doc/why3-doc-html/html/manual013.html |
| ./usr/share/doc/why3-doc-html/html/next_motif.svg |
| ./usr/share/doc/why3-doc-html/html/previous_motif.svg |
| ./usr/share/doc/why3-doc-html/html/starting.html |
| ./usr/share/doc/why3-doc-html/html/syntaxref.html |
| ./usr/share/doc/why3-doc-html/html/technical.html |
| ./usr/share/doc/why3-doc-html/html/whyml.html |
| ./usr/share/doc-base/why3-manual-html |