معرفی شرکت ها
frama-c-base_20191204+calcium-0.1_amd64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | Linux |
توزیع | Ubuntu Focal-20.04 |
مخزن | Ubuntu universe amd64 |
نام بسته | frama-c-base |
نام فایل بسته | frama-c-base_20191204+calcium-0.1_amd64.deb |
نسخه بسته | 20191204+calcium |
انتشار بسته | 0.1 |
معماری بسته | amd64 |
نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
تاریخ ساخت | - |
هاست سازنده | - |
نوع بسته | .deb |
آدرس صفحه اصلی | http://frama-c.com/ |
مجوز | - |
حجم دانلود | 35510708 |
حجم نصب | 173088 |
نیازمندی
مقدار | نام |
---|---|
>= 2.29 | libc6 |
- | libgmp10 |
- | libbiniou-ocaml-a2ub4 |
- | libeasy-format-ocaml-fn499 |
- | libfindlib-ocaml-rhvc3 |
- | libyojson-ocaml-xkmm5 |
- | libzarith-ocaml-gs683 |
- | ocaml-base-nox-4.08.1 |
- | libocamlgraph-ocaml-dev |
- | gcc |
نحوه نصب
نصب پکیج deb frama-c-base:
sudo apt-get install frama-c-base_20191204+calcium-0.1_amd64.deb