This file is indexed.

/usr/share/ri/1.9.1/system/Random/ is in ri1.9.1 1.9.3.0-1ubuntu1.

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

File Mime Type Owner Mode Size
..
/usr/share/ri/1.9.1/system/Random/%3d%3d-i.ri application/octet-stream root:root 0o644 255 bytes
/usr/share/ri/1.9.1/system/Random/bytes-i.ri application/octet-stream root:root 0o644 312 bytes
/usr/share/ri/1.9.1/system/Random/cdesc-Random.ri application/octet-stream root:root 0o644 365 bytes
/usr/share/ri/1.9.1/system/Random/new-c.ri application/octet-stream root:root 0o644 857 bytes
/usr/share/ri/1.9.1/system/Random/new_seed-c.ri application/octet-stream root:root 0o644 249 bytes
/usr/share/ri/1.9.1/system/Random/rand-c.ri application/octet-stream root:root 0o644 268 bytes
/usr/share/ri/1.9.1/system/Random/rand-i.ri application/octet-stream root:root 0o644 1.2 KB
/usr/share/ri/1.9.1/system/Random/seed-i.ri application/octet-stream root:root 0o644 235 bytes
/usr/share/ri/1.9.1/system/Random/srand-c.ri application/octet-stream root:root 0o644 755 bytes