../ clingo-5.6.2-17.13.i586.rpm 30-Oct-2023 03:08 932K clingo-devel-5.6.2-17.13.i586.rpm 30-Oct-2023 03:08 60K dummy-release-15-49.15.i586.rpm 30-Oct-2023 03:06 9409 libclingo4-5.6.2-17.13.i586.rpm 30-Oct-2023 03:08 2M lua-clingo-5.6.2-17.13.i586.rpm 30-Oct-2023 03:08 78K python3-clingo-5.6.2-17.13.i586.rpm 30-Oct-2023 03:08 104K