/dev-lang/logtalk/files/

• ../
• logtalk-3.00.0-no-user-docs.patch
• logtalk-3.03.0-no-user-docs.patch
• logtalk-3.07.0-no-user-docs.patch