This file is indexed.

/usr/include/gecode/int/extensional/ is in libgecode-dev 4.2.1-1.

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

File Mime Type Owner Mode Size
..
/usr/include/gecode/int/extensional/base.hpp text/plain root:root 0o644 5.0 KB
/usr/include/gecode/int/extensional/basic.hpp text/plain root:root 0o644 4.6 KB
/usr/include/gecode/int/extensional/dfa.hpp text/x-c root:root 0o644 7.4 KB
/usr/include/gecode/int/extensional/incremental.hpp text/plain root:root 0o644 12.5 KB
/usr/include/gecode/int/extensional/layered-graph.hpp text/x-c root:root 0o644 32.2 KB
/usr/include/gecode/int/extensional/tuple-set.hpp text/x-c root:root 0o644 4.9 KB