../ swipl 20-Feb-2024 18:45 14367 swipl-fli 20-Feb-2024 18:45 3639 swipl-info 12-Jan-2023 17:55 987 swipl-macros 03-Aug-2023 15:45 7075 swipl-sys 18-Mar-2022 16:48 389