The current version of pack logtalk does not contain a file logtalk-3.30.0/adapters/lean.pl
logtalk
logtalk-3.30.0/adapters/lean.pl