The current version of pack pac does not contain a file prolog/util/cnf-prop-lin-refutation.pl
pac
prolog/util/cnf-prop-lin-refutation.pl