Package - libgmpada-dev

Package:  libgmpada-dev
apt-get install libgmpada-dev
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/libg/libgmpada/libgmpada-dev_1.6-4_amd64.deb (Size: 124.1KiB)

PropertyValue
Packagelibgmpada-dev
Sourcelibgmpada
Version1.6-4
Installed-Size929
MaintainerNicolas Boulenguez
Architectureamd64
Replaceslibgmpada10-dev, libgmpada11-dev, libgmpada12-dev, libgmpada8-dev, libgmpada9-dev
Provideslibgmpada-dev-6c391571
Dependsgnat (<< 15), gnat (>= 14), gnat-14, gnat-14-ade93c16, libgmpada9 (= 1.6-4), libgmp-dev
Breakslibgmpada10-dev, libgmpada11-dev, libgmpada12-dev, libgmpada8-dev, libgmpada9-dev
DescriptionAda binding to the GNU MultiPrecision library: development
Description-md58da58d210fa6380873b2251aa68ebd8e
Homepagehttp://nicolas.boulenguez.free.fr
Sectionlibdevel
Priorityoptional
Filenamepool/main/libg/libgmpada/libgmpada-dev_1.6-4_amd64.deb
Size127104
MD5sum0f484b2ac5e0388a9d7b723ccb9eb33a
SHA256beddcd3dbe7a1501945749407172c52b7b46fa7abf25de4111964c719fd86aea

Files in package

  • /usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gmp-binding.ali
  • /usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gmp-h.ali
  • /usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gmp.ali
  • /usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-aux.ali
  • /usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-big_floats.ali
  • /usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-big_integers.ali
  • /usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-big_rationals.ali
  • /usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-generic_text_io.ali
  • /usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-random_numbers.ali
  • /usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-text_io.ali
  • /usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-wide_text_io.ali
  • /usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-wide_wide_text_io.ali
  • /usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision.ali
  • /usr/lib/x86_64-linux-gnu/libgmpada.a
  • /usr/lib/x86_64-linux-gnu/libgmpada.so
  • /usr/share/ada/adainclude/gmpada/gmp-binding.adb
  • /usr/share/ada/adainclude/gmpada/gmp-binding.ads
  • /usr/share/ada/adainclude/gmpada/gmp-h.ads
  • /usr/share/ada/adainclude/gmpada/gmp.ads
  • /usr/share/ada/adainclude/gmpada/gmp_macros.c
  • /usr/share/ada/adainclude/gmpada/gnu_multiple_precision-aux.adb
  • /usr/share/ada/adainclude/gmpada/gnu_multiple_precision-aux.ads
  • /usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_floats.adb
  • /usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_floats.ads
  • /usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_integers.adb
  • /usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_integers.ads
  • /usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_rationals.adb
  • /usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_rationals.ads
  • /usr/share/ada/adainclude/gmpada/gnu_multiple_precision-generic_text_io.adb
  • /usr/share/ada/adainclude/gmpada/gnu_multiple_precision-generic_text_io.ads
  • /usr/share/ada/adainclude/gmpada/gnu_multiple_precision-random_numbers.adb
  • /usr/share/ada/adainclude/gmpada/gnu_multiple_precision-random_numbers.ads
  • /usr/share/ada/adainclude/gmpada/gnu_multiple_precision-text_io.ads
  • /usr/share/ada/adainclude/gmpada/gnu_multiple_precision-wide_text_io.ads
  • /usr/share/ada/adainclude/gmpada/gnu_multiple_precision-wide_wide_text_io.ads
  • /usr/share/ada/adainclude/gmpada/gnu_multiple_precision.adb
  • /usr/share/ada/adainclude/gmpada/gnu_multiple_precision.ads
  • /usr/share/doc/libgmpada-dev/README.Debian
  • /usr/share/doc/libgmpada-dev/README.gz
  • /usr/share/doc/libgmpada-dev/TODO
  • /usr/share/doc/libgmpada-dev/changelog.Debian.gz
  • /usr/share/doc/libgmpada-dev/changelog.gz
  • /usr/share/doc/libgmpada-dev/copyright
  • /usr/share/doc/libgmpada-dev/examples/demo.adb
  • /usr/share/gpr/gmpada.gpr