/usr/share/hol88-2.02.19940316/contrib/boyer-moore/ is in hol88-contrib-source 2.02.19940316-14.
This file is owned by root:root, with mode 0o755.
..
/usr/share/hol88-2.02.19940316/contrib/boyer-moore/Makefile
/usr/share/hol88-2.02.19940316/contrib/boyer-moore/boyer-moore.ml
/usr/share/hol88-2.02.19940316/contrib/boyer-moore/clausal_form.ml
/usr/share/hol88-2.02.19940316/contrib/boyer-moore/definitions.ml
/usr/share/hol88-2.02.19940316/contrib/boyer-moore/environment.ml
/usr/share/hol88-2.02.19940316/contrib/boyer-moore/equalities.ml
/usr/share/hol88-2.02.19940316/contrib/boyer-moore/generalize.ml
/usr/share/hol88-2.02.19940316/contrib/boyer-moore/induction.ml
/usr/share/hol88-2.02.19940316/contrib/boyer-moore/irrelevance.ml
/usr/share/hol88-2.02.19940316/contrib/boyer-moore/main.ml
/usr/share/hol88-2.02.19940316/contrib/boyer-moore/rewrite_rules.ml
/usr/share/hol88-2.02.19940316/contrib/boyer-moore/shells.ml
/usr/share/hol88-2.02.19940316/contrib/boyer-moore/struct_equal.ml
/usr/share/hol88-2.02.19940316/contrib/boyer-moore/support.ml
/usr/share/hol88-2.02.19940316/contrib/boyer-moore/terms_and_clauses.ml
/usr/share/hol88-2.02.19940316/contrib/boyer-moore/waterfall.ml