This file is indexed.

/usr/include/gecode/int/extensional/ is in libgecode-dev 5.1.0-2build1.

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.2 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.8 KB
/usr/include/gecode/int/extensional/layered-graph.hpp text/x-c root:root 0o644 32.4 KB
/usr/include/gecode/int/extensional/tuple-set.hpp text/x-c root:root 0o644 4.9 KB