../ swipl-7.6.4-48.131.x86_64.rpm 03-Jul-2019 18:39 10152196 swipl-debugsource-7.6.4-48.131.x86_64.rpm 03-Jul-2019 18:39 1869940