data/libgmpada-1.4/INSTALL: makefile script, ASCII text data/libgmpada-1.4/Makefile: makefile script, ASCII text data/libgmpada-1.4/README: ASCII text data/libgmpada-1.4/TODO: ASCII text data/libgmpada-1.4/changelog: ASCII text data/libgmpada-1.4/demo.adb: ASCII text data/libgmpada-1.4/gmp-h.ads.sed: a /bin/sed -f script, ASCII text executable data/libgmpada-1.4/gpl.txt.gz: gzip compressed data, was "gpl.txt", last modified: Tue Jul 31 19:04:17 2007, from Unix, original size modulo 2^32 35147 data/libgmpada-1.4/src/gmp-binding.adb: ASCII text data/libgmpada-1.4/src/gmp-binding.ads: UTF-8 Unicode text data/libgmpada-1.4/src/gmp.ads: ASCII text data/libgmpada-1.4/src/gmp_macros.c: C source, ASCII text data/libgmpada-1.4/src/gnu_multiple_precision-aux.adb: ASCII text data/libgmpada-1.4/src/gnu_multiple_precision-aux.ads: ASCII text data/libgmpada-1.4/src/gnu_multiple_precision-big_floats.adb: ASCII text data/libgmpada-1.4/src/gnu_multiple_precision-big_floats.ads: ASCII text data/libgmpada-1.4/src/gnu_multiple_precision-big_integers.adb: ASCII text data/libgmpada-1.4/src/gnu_multiple_precision-big_integers.ads: ASCII text data/libgmpada-1.4/src/gnu_multiple_precision-big_rationals.adb: ASCII text data/libgmpada-1.4/src/gnu_multiple_precision-big_rationals.ads: ASCII text data/libgmpada-1.4/src/gnu_multiple_precision-generic_text_io.adb: ASCII text data/libgmpada-1.4/src/gnu_multiple_precision-generic_text_io.ads: ASCII text data/libgmpada-1.4/src/gnu_multiple_precision-random_numbers.adb: ASCII text data/libgmpada-1.4/src/gnu_multiple_precision-random_numbers.ads: ASCII text data/libgmpada-1.4/src/gnu_multiple_precision-text_io.ads: ASCII text data/libgmpada-1.4/src/gnu_multiple_precision-wide_text_io.ads: ASCII text data/libgmpada-1.4/src/gnu_multiple_precision-wide_wide_text_io.ads: ASCII text data/libgmpada-1.4/src/gnu_multiple_precision.adb: ASCII text data/libgmpada-1.4/src/gnu_multiple_precision.ads: ASCII text data/libgmpada-1.4/template_for_installed_project: ASCII text data/libgmpada-1.4/debian/README.Debian: ASCII text data/libgmpada-1.4/debian/ada_libraries: ASCII text data/libgmpada-1.4/debian/changelog: ASCII text data/libgmpada-1.4/debian/control: ASCII text data/libgmpada-1.4/debian/copyright: ASCII text data/libgmpada-1.4/debian/docs: ASCII text data/libgmpada-1.4/debian/examples: ASCII text data/libgmpada-1.4/debian/fake.gpr: ASCII text data/libgmpada-1.4/debian/rules: a /usr/bin/make -f script, ASCII text executable data/libgmpada-1.4/debian/source/format: ASCII text data/libgmpada-1.4/debian/tests/control: ASCII text data/libgmpada-1.4/debian/tests/link-with-shared: POSIX shell script, ASCII text executable data/libgmpada-1.4/debian/upstream/signing-key.asc: PGP public key block Public-Key (old) data/libgmpada-1.4/debian/watch: ASCII text data/libgmpada-1.4/.pc/.version: ASCII text data/libgmpada-1.4/.pc/.quilt_patches: ASCII text data/libgmpada-1.4/.pc/.quilt_series: ASCII text data/libgmpada-1.4/.pc/applied-patches: empty