معرفی شرکت ها


libcoq-mathcomp-bigenough_1.0.1-10_amd64.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

epsilon - N reasoning for Mathematical Components
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Mantic-23.10
مخزن Ubuntu universe amd64
نام بسته libcoq-mathcomp-bigenough
نام فایل بسته libcoq-mathcomp-bigenough_1.0.1-10_amd64.deb
نسخه بسته 1.0.1
انتشار بسته 10
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/math-comp/bigenough
مجوز -
حجم دانلود 26174
حجم نصب 91
-


نحوه نصب


نصب پکیج deb libcoq-mathcomp-bigenough:

    sudo apt-get install libcoq-mathcomp-bigenough_1.0.1-10_amd64.deb