معرفی شرکت ها


libgnatcoll-gmp21-dev_23.0.0-6_mipsel.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Ada binding for GMP big numbers (development)
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main mipsel
نام بسته libgnatcoll-gmp21-dev
نام فایل بسته libgnatcoll-gmp21-dev_23.0.0-6_mipsel.deb
نسخه بسته 23.0.0
انتشار بسته 6
معماری بسته mipsel
نگهدارنده Nicolas Boulenguez <nicolas@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/AdaCore/gnatcoll-bindings
مجوز -
حجم دانلود 63616
حجم نصب 446
The GNAT Component Collection deals with: module tracing, efficient file IO, static string searching (Boyer-Moore), e-mails and mailboxes, Ravenscar tasking profiles, storage pools, JSON, logging, shell scripting. Components relying on external dependencies are distributed in separate packages. . This package contains the static library and Ada specifications for a binding with the GNU Multiple Precision arithmetic C library.


جایگزین ها

بسته نسخه معماری مخزن
libgnatcoll-gmp21-dev_23.0.0-6_amd64.deb 23.0.0 amd64 Debian main
libgnatcoll-gmp21-dev_23.0.0-6_arm64.deb 23.0.0 arm64 Debian main
libgnatcoll-gmp21-dev_23.0.0-6_armel.deb 23.0.0 armel Debian main
libgnatcoll-gmp21-dev_23.0.0-6_armhf.deb 23.0.0 armhf Debian main
libgnatcoll-gmp21-dev_23.0.0-6_i386.deb 23.0.0 i386 Debian main
libgnatcoll-gmp21-dev_23.0.0-6_mips64el.deb 23.0.0 mips64el Debian main
libgnatcoll-gmp21-dev_23.0.0-6_ppc64el.deb 23.0.0 ppc64el Debian main
libgnatcoll-gmp21-dev_23.0.0-6_s390x.deb 23.0.0 s390x Debian main


نیازمندی

مقدار نام
<< 13 gnat
>= 12 gnat
= 23.0.0-6 libgnatcoll-gmp20
- libgnatcoll21-dev
- libgnatprj10-dev
- libxmlada-dom12-dev
- libxmlada-input12-dev
- libxmlada-sax12-dev
- libxmlada-schema12-dev
- libxmlada-unicode12-dev
- libgmp-dev


نحوه نصب


نصب پکیج deb libgnatcoll-gmp21-dev:

    sudo apt-get install libgnatcoll-gmp21-dev_23.0.0-6_mipsel.deb


فایل ها

مسیرها
./usr/lib/mipsel-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-io.ali
./usr/lib/mipsel-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-misc.ali
./usr/lib/mipsel-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.ali
./usr/lib/mipsel-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-random.ali
./usr/lib/mipsel-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.ali
./usr/lib/mipsel-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers.ali
./usr/lib/mipsel-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-lib.ali
./usr/lib/mipsel-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-random_state.ali
./usr/lib/mipsel-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-rational_numbers.ali
./usr/lib/mipsel-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp.ali
./usr/lib/mipsel-linux-gnu/libgnatcoll_gmp.a
./usr/share/ada/adainclude/gnatcoll_gmp/gmp_support.c
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-io.adb
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-io.ads
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-misc.adb
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-misc.ads
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.adb
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.ads
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-random.adb
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-random.ads
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.adb
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.ads
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers.adb
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers.ads
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-lib.ads
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-mpz_even_p.c
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-mpz_odd_p.c
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-mpz_sign.c
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-random_state.adb
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-random_state.ads
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-rational_numbers.adb
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-rational_numbers.ads
./usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp.ads
./usr/share/doc/libgnatcoll-gmp21-dev/changelog.Debian.gz
./usr/share/doc/libgnatcoll-gmp21-dev/copyright
./usr/share/doc/libgnatcoll-gmp21-dev/examples/gmp_examples.gpr
./usr/share/doc/libgnatcoll-gmp21-dev/examples/isprime.adb
./usr/share/doc/libgnatcoll-gmp21-dev/examples/square_triangular_numbers.adb
./usr/share/gpr/gnatcoll_gmp.gpr
./usr/lib/mipsel-linux-gnu/libgnatcoll_gmp.so -> libgnatcoll_gmp.so.20