../ picat-3.5.5-r1.log.gz 07-Nov-2023 13:17 349K picat-3.6-r0.log.gz 12-Jan-2024 12:36 351K picat-3.6-r1.log.gz 25-Apr-2024 14:39 350K picat-3.6.3-r0.log.gz 27-Apr-2024 08:31 348K picat-3.6.4-r0.log.gz 01-May-2024 02:13 349K picat-3.6.5-r0.log.gz 07-May-2024 05:10 351K picat-3.6.6-r0.log.gz 09-May-2024 04:56 352K picat-3.6.8-r0.log.gz 28-May-2024 04:30 350K picat-3.7-r0.log 27-Aug-2024 03:15 8M picat-3.8-r0.log 01-Feb-2025 15:23 8M