../ picat-3.6.5-r0.log 07-May-2024 05:07 8M picat-3.6.6-r0.log 09-May-2024 04:56 8M picat-3.6.8-r0.log 28-May-2024 04:30 8M picat-3.7-r0.log 27-Aug-2024 03:15 8M