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