../ logtalk-3.00.0-no-user-docs.patch 09-Aug-2015 00:38 1711 logtalk-3.03.0-no-user-docs.patch 20-Feb-2016 08:57 1711 logtalk-3.07.0-no-user-docs.patch 03-Oct-2016 16:47 1711 logtalk-3.11.2-portage.patch 24-Sep-2017 13:37 1128