This file is indexed.

/usr/share/doc/libgnatcoll-doc/examples/gmp/ is in libgnatcoll-doc 1.7gpl2015-2.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/doc/libgnatcoll-doc/examples/gmp/gmp_examples.gpr text/plain root:root 0o644 302 bytes
/usr/share/doc/libgnatcoll-doc/examples/gmp/isprime.adb text/plain root:root 0o644 3.4 KB
/usr/share/doc/libgnatcoll-doc/examples/gmp/square_triangular_numbers.adb text/plain root:root 0o644 2.8 KB