/usr/share/tkgate/locale/it/examples.18/ is in tkgate-data 2.0~b10-4.
This file is owned by root:root, with mode 0o755.
..
/usr/share/tkgate/locale/it/examples.18/ex1/
/usr/share/tkgate/locale/it/examples.18/ex1/combinational.v
/usr/share/tkgate/locale/it/examples.18/ex2/
/usr/share/tkgate/locale/it/examples.18/ex2/flipflop.v
/usr/share/tkgate/locale/it/examples.18/ex3/
/usr/share/tkgate/locale/it/examples.18/ex3/counter.v
/usr/share/tkgate/locale/it/examples.18/ex4/
/usr/share/tkgate/locale/it/examples.18/ex4/trff.v
/usr/share/tkgate/locale/it/examples.18/ex5/
/usr/share/tkgate/locale/it/examples.18/ex5/menagerie.gm
/usr/share/tkgate/locale/it/examples.18/ex5/menagerie.gss
/usr/share/tkgate/locale/it/examples.18/ex5/menagerie.map
/usr/share/tkgate/locale/it/examples.18/ex5/menagerie.mem
/usr/share/tkgate/locale/it/examples.18/ex5/menagerie.v
/usr/share/tkgate/locale/it/examples.18/ex5/x-menagerie.mem
/usr/share/tkgate/locale/it/examples.18/index.v