/usr/share/hol88-2.02.19940316/contrib/wordn/ is in hol88-contrib-source 2.02.19940316-35.
This file is owned by root:root, with mode 0o755.
..
/usr/share/hol88-2.02.19940316/contrib/wordn/Makefile
/usr/share/hol88-2.02.19940316/contrib/wordn/Manual/
/usr/share/hol88-2.02.19940316/contrib/wordn/Manual/Makefile
/usr/share/hol88-2.02.19940316/contrib/wordn/binder.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/genfuns.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/help/
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/create-doc-files.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/info-hol.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/load_wordn.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/mk_test.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/mk_test2.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/mk_wordn.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/mk_wordn_arith.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/mk_wordn_base.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/mk_wordn_bitops.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/mk_wordn_ints.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/mk_wordn_num.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/more_integers.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/oconv.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/wordn.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/wordn_bit_op.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/wordn_bits.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/wordn_conv.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/wordn_num.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/wordn_nval.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/wordn_pack.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/wordn_rules.ml
/usr/share/hol88-2.02.19940316/contrib/wordn/wordn_tacs.ml