Skip to content
Sections
>> Trisquel >> Packages >> aramo >> libgmpada10-dev >> amd64 >> File list

File list of package libgmpada10-dev in aramo of architecture amd64

/usr/lib/x86_64-linux-gnu/libgmpada.a
/usr/lib/x86_64-linux-gnu/libgmpada.so
/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/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/libgmpada10-dev/README.Debian
/usr/share/doc/libgmpada10-dev/README.gz
/usr/share/doc/libgmpada10-dev/TODO
/usr/share/doc/libgmpada10-dev/changelog.Debian.gz
/usr/share/doc/libgmpada10-dev/copyright
/usr/share/doc/libgmpada10-dev/examples/demo.adb
/usr/share/gpr/gmpada.gpr