../ clingo-5.6.2-17.13.x86_64.rpm 30-Oct-2023 04:03 856K clingo-devel-5.6.2-17.13.x86_64.rpm 30-Oct-2023 04:03 60K dummy-release-15-49.15.x86_64.rpm 30-Oct-2023 04:06 9390 libclingo4-5.6.2-17.13.x86_64.rpm 30-Oct-2023 04:03 2M lua-clingo-5.6.2-17.13.x86_64.rpm 30-Oct-2023 04:03 73K python3-clingo-5.6.2-17.13.x86_64.rpm 30-Oct-2023 04:03 108K