This file is indexed.

/usr/share/doc/gringo/examples/controller/ is in gringo 4.2.1-4.

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

File Mime Type Owner Mode Size
..
/usr/share/doc/gringo/examples/controller/README text/plain root:root 0o644 342 bytes
/usr/share/doc/gringo/examples/controller/client-lua.lp text/x-c root:root 0o644 2.3 KB
/usr/share/doc/gringo/examples/controller/client-py.lp text/x-c++ root:root 0o644 2.3 KB
/usr/share/doc/gringo/examples/controller/client.lp text/plain root:root 0o644 280 bytes
/usr/share/doc/gringo/examples/controller/server.py text/x-python root:root 0o644 3.2 KB