/usr/include/gecode/kernel/ is in libgecode-dev 5.1.0-2build1.
This file is owned by root:root, with mode 0o755.
..
/usr/include/gecode/kernel/action.hpp
/usr/include/gecode/kernel/advisor.hpp
/usr/include/gecode/kernel/afc.hpp
/usr/include/gecode/kernel/allocators.hpp
/usr/include/gecode/kernel/archive.hpp
/usr/include/gecode/kernel/array.hpp
/usr/include/gecode/kernel/branch-tiebreak.hpp
/usr/include/gecode/kernel/branch-traits.hpp
/usr/include/gecode/kernel/branch-val.hpp
/usr/include/gecode/kernel/branch-var.hpp
/usr/include/gecode/kernel/brancher-filter.hpp
/usr/include/gecode/kernel/brancher-merit.hpp
/usr/include/gecode/kernel/brancher-print.hpp
/usr/include/gecode/kernel/brancher-val-commit.hpp
/usr/include/gecode/kernel/brancher-val-sel-commit.hpp
/usr/include/gecode/kernel/brancher-val-sel.hpp
/usr/include/gecode/kernel/brancher-view-sel.hpp
/usr/include/gecode/kernel/brancher-view-val.hpp
/usr/include/gecode/kernel/brancher-view.hpp
/usr/include/gecode/kernel/chb.hpp
/usr/include/gecode/kernel/core.hpp
/usr/include/gecode/kernel/exception.hpp
/usr/include/gecode/kernel/gpi.hpp
/usr/include/gecode/kernel/macros.hpp
/usr/include/gecode/kernel/memory-config.hpp
/usr/include/gecode/kernel/memory-manager.hpp
/usr/include/gecode/kernel/modevent.hpp
/usr/include/gecode/kernel/propagator.hpp
/usr/include/gecode/kernel/range-list.hpp
/usr/include/gecode/kernel/region.hpp
/usr/include/gecode/kernel/rnd.hpp
/usr/include/gecode/kernel/shared-array.hpp
/usr/include/gecode/kernel/shared-data.hpp
/usr/include/gecode/kernel/subscribed-propagators.hpp
/usr/include/gecode/kernel/trace-filter.hpp
/usr/include/gecode/kernel/trace-print.hpp
/usr/include/gecode/kernel/trace-recorder.hpp
/usr/include/gecode/kernel/trace-traits.hpp
/usr/include/gecode/kernel/trace.hpp
/usr/include/gecode/kernel/tracer.hpp
/usr/include/gecode/kernel/var-imp.hpp
/usr/include/gecode/kernel/var-type.hpp
/usr/include/gecode/kernel/var.hpp
/usr/include/gecode/kernel/view.hpp
/usr/include/gecode/kernel/wait.hh