معرفی شرکت ها


libwhy3-ocaml-dev_1.6.0-1_amd64.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

OCaml librariries for why3 (dev)
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Mantic-23.10
مخزن Ubuntu universe amd64
نام بسته libwhy3-ocaml-dev
نام فایل بسته libwhy3-ocaml-dev_1.6.0-1_amd64.deb
نسخه بسته 1.6.0
انتشار بسته 1
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://why3.lri.fr/
مجوز -
حجم دانلود 13127318
حجم نصب 49589
-


نحوه نصب


نصب پکیج deb libwhy3-ocaml-dev:

    sudo apt-get install libwhy3-ocaml-dev_1.6.0-1_amd64.deb