../ clingo-5.6.2-17.52.x86_64.rpm 11-Oct-2024 20:28 881087 clingo-devel-5.6.2-17.52.x86_64.rpm 11-Oct-2024 20:28 61129 dummy-release-15-49.24.x86_64.rpm 06-Aug-2024 03:48 8806 libclingo4-5.6.2-17.52.x86_64.rpm 11-Oct-2024 20:28 1630345 lua-clingo-5.6.2-17.52.x86_64.rpm 11-Oct-2024 20:28 73193 python3-clingo-5.6.2-17.52.x86_64.rpm 11-Oct-2024 20:28 108991