/usr/share/faumachine/vhdl/ is in faumachine-data 20110812-1.2.
This file is owned by root:root, with mode 0o755.
..
/usr/share/faumachine/vhdl/expect.vhdl
/usr/share/faumachine/vhdl/experiment.mk
/usr/share/faumachine/vhdl/pc-1.vhdl
/usr/share/faumachine/vhdl/pc-4.vhdl
/usr/share/faumachine/vhdl/pc-5.vhdl
/usr/share/faumachine/vhdl/pc-6.vhdl
/usr/share/faumachine/vhdl/pc-7.vhdl
/usr/share/faumachine/vhdl/pc-amd64-pci-real.vhdl
/usr/share/faumachine/vhdl/pc-amd64-pci.vhdl
/usr/share/faumachine/vhdl/pc-camera.vhdl
/usr/share/faumachine/vhdl/pc-i386-isa.vhdl
/usr/share/faumachine/vhdl/pc-ibm-at-standard.vhdl
/usr/share/faumachine/vhdl/pc-pci-cb.vhdl
/usr/share/faumachine/vhdl/pc-pci-scsi.vhdl
/usr/share/faumachine/vhdl/sigs_and_comps.vhdl
/usr/share/faumachine/vhdl/simulation.setup
/usr/share/faumachine/vhdl/test_bench.vhdl
/usr/share/faumachine/vhdl/test_bench_network.vhdl
/usr/share/faumachine/vhdl/user-begin.vhdl
/usr/share/faumachine/vhdl/user-end.vhdl
/usr/share/faumachine/vhdl/vt102.vhdl