../ picat-3.6.5-r0.log 07-May-2024 05:08 79K picat-3.6.6-r0.log 09-May-2024 04:56 79K picat-3.6.8-r0.log 28-May-2024 04:29 79K picat-3.7-r0.log 27-Aug-2024 03:16 80K picat-3.8-r0.log 01-Feb-2025 15:23 79K picat-3.8.6-r0.log 16-Mar-2025 03:50 80K picat-3.8.7-r0.log 01-Apr-2025 19:01 78K