../ swipl-7.6.4-48.131.i586.rpm 03-Jul-2019 18:49 10028128 swipl-debuginfo-7.6.4-48.131.i586.rpm 03-Jul-2019 18:49 3583860 swipl-debugsource-7.6.4-48.131.i586.rpm 03-Jul-2019 18:49 1869556