libgmpada5-dev - amd64
Documentation
./doc/copyright
./doc/README.gz
./doc/README.Debian
./doc/examples/demo.adb
./doc/examples/demo.gpr
./doc/changelog.Debian.gz
./doc/TODO
./doc/changelog.gz
Binaries
generate_constants
compile units
generate_constants.c
Gimple
./generate_constants.c.004t.gimple
GKD
./generate_constants.o.gkd
OBJ
obj: ./generate_constants.o
includes
generate_constants.c
../headers//usr/include/x86_64-linux-gnu/bits/stdio2.h
../headers//usr/include/x86_64-linux-gnu/bits/error.h
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/gmp.h
../headers//usr/include/mpfr.h
../headers//usr/include/stdio.h
../headers//usr/include/stdlib.h
libraries
../libs/usr/lib/x86_64-linux-gnu/libgmp.so.10
../libs/lib/x86_64-linux-gnu/libc.so.6
manual
demo
compile units
b~demo.adb
b~demo.ads
demo.adb
gnu_multiple_precision-big_integers.adb
gnu_multiple_precision.adb
gnu_multiple_precision-random_numbers.adb
gnu_multiple_precision-big_rationals.adb
gnu_multiple_precision-big_floats.adb
a-tiinio.adb
a-tiflio.adb
a-tags.ads
s-finroo.ads
a-finali.ads
i-cpoint.ads
gmp-binding.ads
gnu_multiple_precision.ads
s-secsta.ads
a-stream.ads
s-ficobl.ads
s-crtl.ads
a-ststio.ads
gnu_multiple_precision-random_numbers.ads
a-textio.ads
gnu_multiple_precision-big_integers.ads
a-tiinio.ads
a-tiflio.ads
gnu_multiple_precision-big_rationals.ads
gnu_multiple_precision-big_floats.ads
a-except.ads
a-direct.ads
a-tiinau.ads
a-tiflau.ads
gnu_multiple_precision-generic_text_io.ads
s-stalib.ads
gnu_multiple_precision-big_rationals.adb
gnu_multiple_precision.adb
a-tags.ads
s-finroo.ads
a-finali.ads
gmp-binding.ads
gnu_multiple_precision.ads
i-cpoint.ads
gnu_multiple_precision-big_rationals.ads
s-secsta.ads
gnu_multiple_precision-aux.ads
a-chacon.ads
s-stalib.ads
gnu_multiple_precision-aux.adb
gmp-binding.ads
i-cpoint.ads
i-c.ads
gnu_multiple_precision-aux.ads
s-imglli.ads
gnu_multiple_precision-generic_text_io.adb
gnu_multiple_precision-aux.adb
a-stream.ads
a-textio.ads
s-ficobl.ads
a-tags.ads
s-crtl.ads
s-finroo.ads
a-finali.ads
i-cpoint.ads
gmp-binding.ads
gnu_multiple_precision.ads
i-c.ads
s-stalib.ads
gnu_multiple_precision.adb
gnu_multiple_precision-aux.ads
gnu_multiple_precision-generic_text_io.ads
a-except.ads
s-stratt.adb
i-cpoint.adb
gmp-binding.adb
gmp-binding.ads
s-exctab.adb
s-stalib.ads
i-cpoint.ads
a-tags.ads
i-c.ads
a-stream.ads
s-stratt.ads
s-exctab.ads
a-except.ads
s-secsta.ads
s-expllu.ads
s-htable.ads
gnu_multiple_precision.adb
s-stratt.adb
gnu_multiple_precision.ads
a-tags.ads
s-finroo.ads
a-finali.ads
i-cpoint.ads
gmp-binding.ads
a-stream.ads
a-except.ads
s-stalib.ads
s-stratt.ads
gnu_multiple_precision-random_numbers.adb
a-calend.adb
gnu_multiple_precision-random_numbers.ads
a-tags.ads
s-finroo.ads
a-finali.ads
gmp-binding.ads
a-stream.ads
i-cpoint.ads
gnu_multiple_precision.ads
s-stratt.adb
s-stratt.ads
a-calend.ads
s-osprim.ads
gmp_macros.c
includes
b~demo.adb
b~demo.ads
demo.adb
gnu_multiple_precision-big_integers.adb
gnu_multiple_precision.adb
gnu_multiple_precision-random_numbers.adb
gnu_multiple_precision-big_rationals.adb
gnu_multiple_precision-big_floats.adb
a-tiinio.adb
a-tiflio.adb
a-tags.ads
s-finroo.ads
a-finali.ads
i-cpoint.ads
gmp-binding.ads
gnu_multiple_precision.ads
s-secsta.ads
a-stream.ads
s-ficobl.ads
s-crtl.ads
a-ststio.ads
gnu_multiple_precision-random_numbers.ads
a-textio.ads
gnu_multiple_precision-big_integers.ads
a-tiinio.ads
a-tiflio.ads
gnu_multiple_precision-big_rationals.ads
gnu_multiple_precision-big_floats.ads
a-except.ads
a-direct.ads
a-tiinau.ads
a-tiflau.ads
gnu_multiple_precision-generic_text_io.ads
s-stalib.ads
gnu_multiple_precision-big_rationals.adb
gnu_multiple_precision.adb
a-tags.ads
s-finroo.ads
a-finali.ads
gmp-binding.ads
gnu_multiple_precision.ads
i-cpoint.ads
gnu_multiple_precision-big_rationals.ads
s-secsta.ads
gnu_multiple_precision-aux.ads
a-chacon.ads
s-stalib.ads
gnu_multiple_precision-aux.adb
gmp-binding.ads
i-cpoint.ads
i-c.ads
gnu_multiple_precision-aux.ads
s-imglli.ads
gnu_multiple_precision-generic_text_io.adb
gnu_multiple_precision-aux.adb
a-stream.ads
a-textio.ads
s-ficobl.ads
a-tags.ads
s-crtl.ads
s-finroo.ads
a-finali.ads
i-cpoint.ads
gmp-binding.ads
gnu_multiple_precision.ads
i-c.ads
s-stalib.ads
gnu_multiple_precision.adb
gnu_multiple_precision-aux.ads
gnu_multiple_precision-generic_text_io.ads
a-except.ads
s-stratt.adb
i-cpoint.adb
gmp-binding.adb
gmp-binding.ads
s-exctab.adb
s-stalib.ads
i-cpoint.ads
a-tags.ads
i-c.ads
a-stream.ads
s-stratt.ads
s-exctab.ads
a-except.ads
s-secsta.ads
s-expllu.ads
s-htable.ads
gnu_multiple_precision.adb
s-stratt.adb
gnu_multiple_precision.ads
a-tags.ads
s-finroo.ads
a-finali.ads
i-cpoint.ads
gmp-binding.ads
a-stream.ads
a-except.ads
s-stalib.ads
s-stratt.ads
gnu_multiple_precision-random_numbers.adb
a-calend.adb
gnu_multiple_precision-random_numbers.ads
a-tags.ads
s-finroo.ads
a-finali.ads
gmp-binding.ads
a-stream.ads
i-cpoint.ads
gnu_multiple_precision.ads
s-stratt.adb
s-stratt.ads
a-calend.ads
s-osprim.ads
gmp_macros.c
../headers//usr/include/x86_64-linux-gnu/gmp.h
libraries
../libs/usr/lib/x86_64-linux-gnu/libgmp.so.10
../libs/usr/lib/x86_64-linux-gnu/libmpfr.so.4
../libs/usr/lib/x86_64-linux-gnu/libgnat-4.9.so.1
../libs/lib/x86_64-linux-gnu/libgcc_s.so.1
../libs/lib/x86_64-linux-gnu/libc.so.6
manual
libgmpada.so.3
compile units
gmp_macros.c
gnu_multiple_precision-big_rationals.adb
gnu_multiple_precision.adb
a-tags.ads
s-finroo.ads
a-finali.ads
gmp-binding.ads
gnu_multiple_precision.ads
i-cpoint.ads
gnu_multiple_precision-big_rationals.ads
s-secsta.ads
gnu_multiple_precision-aux.ads
a-chacon.ads
s-stalib.ads
gnu_multiple_precision-big_floats.adb
gnu_multiple_precision-aux.adb
gnu_multiple_precision.adb
a-tags.ads
s-finroo.ads
a-finali.ads
i-c.ads
gmp-binding.ads
gnu_multiple_precision.ads
i-cpoint.ads
s-stalib.ads
gnu_multiple_precision-aux.ads
gnu_multiple_precision-big_floats.ads
s-secsta.ads
a-chacon.ads
a-except.ads
gnu_multiple_precision-aux.adb
gmp-binding.ads
i-cpoint.ads
i-c.ads
gnu_multiple_precision-aux.ads
s-imglli.ads
gmp-constants.ads
gnu_multiple_precision-generic_text_io.adb
gnu_multiple_precision-aux.adb
a-tags.ads
a-stream.ads
s-ficobl.ads
s-crtl.ads
a-witeio.ads
s-finroo.ads
a-finali.ads
i-cpoint.ads
gmp-binding.ads
gnu_multiple_precision.ads
i-c.ads
s-stalib.ads
gnu_multiple_precision-aux.ads
gnu_multiple_precision-generic_text_io.ads
a-chacon.ads
a-except.ads
gnu_multiple_precision-generic_text_io.adb
gnu_multiple_precision-aux.adb
a-stream.ads
a-textio.ads
s-ficobl.ads
a-tags.ads
s-crtl.ads
s-finroo.ads
a-finali.ads
i-cpoint.ads
gmp-binding.ads
gnu_multiple_precision.ads
i-c.ads
s-stalib.ads
gnu_multiple_precision.adb
gnu_multiple_precision-aux.ads
gnu_multiple_precision-generic_text_io.ads
a-except.ads
s-stratt.adb
i-cpoint.adb
gmp-binding.adb
gmp-binding.ads
s-exctab.adb
s-stalib.ads
i-cpoint.ads
a-tags.ads
i-c.ads
a-stream.ads
s-stratt.ads
s-exctab.ads
a-except.ads
s-secsta.ads
s-expllu.ads
s-htable.ads
gnu_multiple_precision.adb
s-stratt.adb
gnu_multiple_precision.ads
a-tags.ads
s-finroo.ads
a-finali.ads
i-cpoint.ads
gmp-binding.ads
a-stream.ads
a-except.ads
s-stalib.ads
s-stratt.ads
gnu_multiple_precision-big_integers.adb
gnu_multiple_precision-aux.adb
gnu_multiple_precision.adb
a-tags.ads
s-finroo.ads
a-finali.ads
i-cpoint.ads
gmp-binding.ads
gnu_multiple_precision.ads
gnu_multiple_precision-big_integers.ads
i-c.ads
s-stalib.ads
gnu_multiple_precision-aux.ads
s-secsta.ads
a-chacon.ads
a-except.ads
gnu_multiple_precision-random_numbers.adb
a-calend.adb
gnu_multiple_precision-random_numbers.ads
a-tags.ads
s-finroo.ads
a-finali.ads
gmp-binding.ads
a-stream.ads
i-cpoint.ads
gnu_multiple_precision.ads
s-stratt.adb
s-stratt.ads
a-calend.ads
s-osprim.ads
gnu_multiple_precision-generic_text_io.adb
gnu_multiple_precision-aux.adb
a-tags.ads
a-stream.ads
s-ficobl.ads
s-crtl.ads
a-ztexio.ads
s-finroo.ads
a-finali.ads
i-cpoint.ads
gmp-binding.ads
gnu_multiple_precision.ads
i-c.ads
s-stalib.ads
gnu_multiple_precision-aux.ads
gnu_multiple_precision-generic_text_io.ads
a-chacon.ads
a-except.ads
includes
gmp_macros.c
../headers//usr/include/x86_64-linux-gnu/gmp.h
gnu_multiple_precision-big_rationals.adb
gnu_multiple_precision.adb
a-tags.ads
s-finroo.ads
a-finali.ads
gmp-binding.ads
gnu_multiple_precision.ads
i-cpoint.ads
gnu_multiple_precision-big_rationals.ads
s-secsta.ads
gnu_multiple_precision-aux.ads
a-chacon.ads
s-stalib.ads
gnu_multiple_precision-big_floats.adb
gnu_multiple_precision-aux.adb
gnu_multiple_precision.adb
a-tags.ads
s-finroo.ads
a-finali.ads
i-c.ads
gmp-binding.ads
gnu_multiple_precision.ads
i-cpoint.ads
s-stalib.ads
gnu_multiple_precision-aux.ads
gnu_multiple_precision-big_floats.ads
s-secsta.ads
a-chacon.ads
a-except.ads
gnu_multiple_precision-aux.adb
gmp-binding.ads
i-cpoint.ads
i-c.ads
gnu_multiple_precision-aux.ads
s-imglli.ads
gmp-constants.ads
gnu_multiple_precision-generic_text_io.adb
gnu_multiple_precision-aux.adb
a-tags.ads
a-stream.ads
s-ficobl.ads
s-crtl.ads
a-witeio.ads
s-finroo.ads
a-finali.ads
i-cpoint.ads
gmp-binding.ads
gnu_multiple_precision.ads
i-c.ads
s-stalib.ads
gnu_multiple_precision-aux.ads
gnu_multiple_precision-generic_text_io.ads
a-chacon.ads
a-except.ads
gnu_multiple_precision-generic_text_io.adb
gnu_multiple_precision-aux.adb
a-stream.ads
a-textio.ads
s-ficobl.ads
a-tags.ads
s-crtl.ads
s-finroo.ads
a-finali.ads
i-cpoint.ads
gmp-binding.ads
gnu_multiple_precision.ads
i-c.ads
s-stalib.ads
gnu_multiple_precision.adb
gnu_multiple_precision-aux.ads
gnu_multiple_precision-generic_text_io.ads
a-except.ads
s-stratt.adb
i-cpoint.adb
gmp-binding.adb
gmp-binding.ads
s-exctab.adb
s-stalib.ads
i-cpoint.ads
a-tags.ads
i-c.ads
a-stream.ads
s-stratt.ads
s-exctab.ads
a-except.ads
s-secsta.ads
s-expllu.ads
s-htable.ads
gnu_multiple_precision.adb
s-stratt.adb
gnu_multiple_precision.ads
a-tags.ads
s-finroo.ads
a-finali.ads
i-cpoint.ads
gmp-binding.ads
a-stream.ads
a-except.ads
s-stalib.ads
s-stratt.ads
gnu_multiple_precision-big_integers.adb
gnu_multiple_precision-aux.adb
gnu_multiple_precision.adb
a-tags.ads
s-finroo.ads
a-finali.ads
i-cpoint.ads
gmp-binding.ads
gnu_multiple_precision.ads
gnu_multiple_precision-big_integers.ads
i-c.ads
s-stalib.ads
gnu_multiple_precision-aux.ads
s-secsta.ads
a-chacon.ads
a-except.ads
gnu_multiple_precision-random_numbers.adb
a-calend.adb
gnu_multiple_precision-random_numbers.ads
a-tags.ads
s-finroo.ads
a-finali.ads
gmp-binding.ads
a-stream.ads
i-cpoint.ads
gnu_multiple_precision.ads
s-stratt.adb
s-stratt.ads
a-calend.ads
s-osprim.ads
gnu_multiple_precision-generic_text_io.adb
gnu_multiple_precision-aux.adb
a-tags.ads
a-stream.ads
s-ficobl.ads
s-crtl.ads
a-ztexio.ads
s-finroo.ads
a-finali.ads
i-cpoint.ads
gmp-binding.ads
gnu_multiple_precision.ads
i-c.ads
s-stalib.ads
gnu_multiple_precision-aux.ads
gnu_multiple_precision-generic_text_io.ads
a-chacon.ads
a-except.ads
libraries
../libs/usr/lib/x86_64-linux-gnu/libgmp.so.10
../libs/usr/lib/x86_64-linux-gnu/libmpfr.so.4
../libs/usr/lib/x86_64-linux-gnu/libgnat-4.9.so.1
../libs/lib/x86_64-linux-gnu/libgcc_s.so.1
../libs/lib/x86_64-linux-gnu/libc.so.6
manual