/usr/include/gecode/kernel/ is in libgecode-dev 3.7.1-3.
This file is owned by root:root, with mode 0o755.
..
/usr/include/gecode/kernel/advisor.hpp
/usr/include/gecode/kernel/allocators.hpp
/usr/include/gecode/kernel/archive.hpp
/usr/include/gecode/kernel/array.hpp
/usr/include/gecode/kernel/branch.hpp
/usr/include/gecode/kernel/brancher-tiebreak.hpp
/usr/include/gecode/kernel/brancher-val.hpp
/usr/include/gecode/kernel/brancher-view.hpp
/usr/include/gecode/kernel/brancher.hpp
/usr/include/gecode/kernel/core.hpp
/usr/include/gecode/kernel/exception.hpp
/usr/include/gecode/kernel/global-prop-info.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/shared-array.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