# Policy says we can put executables in usr/lib
fricas-hypertex: executable-in-usr-lib [usr/lib/fricas/target/x86_64-linux-gnux32/bin/htadd]
fricas-hypertex: executable-in-usr-lib [usr/lib/fricas/target/x86_64-linux-gnux32/bin/hypertex]
fricas-hypertex: executable-in-usr-lib [usr/lib/fricas/target/x86_64-linux-gnux32/lib/hthits]
fricas-hypertex: executable-in-usr-lib [usr/lib/fricas/target/x86_64-linux-gnux32/lib/htsearch]
# these are all correct
fricas-hypertex: repeated-path-segment lib [usr/lib/fricas/target/x86_64-linux-gnux32/lib/]
