../ clingo-5.6.2-17.7.x86_64.rpm 28-Oct-2023 01:54 856K clingo-devel-5.6.2-17.7.x86_64.rpm 28-Oct-2023 01:54 60K dummy-release-15-49.12.x86_64.rpm 28-Oct-2023 01:53 9383 libclingo4-5.6.2-17.7.x86_64.rpm 28-Oct-2023 01:54 2M lua-clingo-5.6.2-17.7.x86_64.rpm 28-Oct-2023 01:54 73K python3-clingo-5.6.2-17.7.x86_64.rpm 28-Oct-2023 01:54 108K