The current version of pack bims does not contain a file src/lib/goal_spec.pl
bims
src/lib/goal_spec.pl