This file is indexed.

/usr/bin/ is in gprbuild 2017-5.

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

File Mime Type Owner Mode Size
..
/usr/bin/gprbuild application/x-sharedlib root:root 0o755 1.2 MB
/usr/bin/gprclean application/x-sharedlib root:root 0o755 138.2 KB
/usr/bin/gprconfig application/x-sharedlib root:root 0o755 102.2 KB
/usr/bin/gprinstall application/x-sharedlib root:root 0o755 923.7 KB
/usr/bin/gprls application/x-sharedlib root:root 0o755 370.5 KB
/usr/bin/gprname application/x-sharedlib root:root 0o755 162.5 KB
/usr/bin/gprslave application/x-sharedlib root:root 0o755 494.2 KB