/usr/share/hol88-2.02.19940316/Library/window/ is in hol88-library 2.02.19940316-33.
This file is owned by root:root, with mode 0o755.
..
/usr/share/hol88-2.02.19940316/Library/window/basic_close_ml.o
/usr/share/hol88-2.02.19940316/Library/window/eq_close_ml.o
/usr/share/hol88-2.02.19940316/Library/window/hol_ext_ml.o
/usr/share/hol88-2.02.19940316/Library/window/imp_close_ml.o
/usr/share/hol88-2.02.19940316/Library/window/inter_ml.o
/usr/share/hol88-2.02.19940316/Library/window/load_code_ml.o
/usr/share/hol88-2.02.19940316/Library/window/load_window_ml.o
/usr/share/hol88-2.02.19940316/Library/window/ml_ext_ml.o
/usr/share/hol88-2.02.19940316/Library/window/tables_ml.o
/usr/share/hol88-2.02.19940316/Library/window/tactic_ml.o
/usr/share/hol88-2.02.19940316/Library/window/thms_ml.o
/usr/share/hol88-2.02.19940316/Library/window/win_ml.o
/usr/share/hol88-2.02.19940316/Library/window/window_ml.o
/usr/share/hol88-2.02.19940316/Library/window/xlabel_ml.o