usr/doc/herdtools7/CHANGES.txt
usr/doc/herdtools7/LICENSE.txt
usr/lib/*
