معرفی شرکت ها

why3-doc-pdf_1.5.1-1_all.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

PDF Documentation of the why3 verification platform
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main all
نام بسته why3-doc-pdf
نام فایل بسته why3-doc-pdf_1.5.1-1_all.deb
نسخه بسته 1.5.1
انتشار بسته 1
معماری بسته all
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://why3.lri.fr/
مجوز -
حجم دانلود 1280592
حجم نصب 1321
This package contains the tutorial and reference manual of the why3 verification platform in PDF format.


نیازمندی

مقدار نام
>= 6.13 tex-common


نحوه نصب


نصب پکیج deb why3-doc-pdf:

    sudo apt-get install why3-doc-pdf_1.5.1-1_all.deb


فایل ها

مسیرها
./usr/share/doc/why3-doc-pdf/NEWS.Debian.gz
./usr/share/doc/why3-doc-pdf/changelog.Debian.gz
./usr/share/doc/why3-doc-pdf/changelog.gz
./usr/share/doc/why3-doc-pdf/copyright
./usr/share/doc/why3-doc-pdf/manual.pdf
./usr/share/doc-base/why3-doc-pdf.why3-manual-pdf