../ clingo-5.6.2-17.47.x86_64.rpm 06-Aug-2024 03:49 874351 clingo-devel-5.6.2-17.47.x86_64.rpm 06-Aug-2024 03:49 61130 dummy-release-15-49.24.x86_64.rpm 06-Aug-2024 03:48 8806 libclingo4-5.6.2-17.47.x86_64.rpm 06-Aug-2024 03:49 1595219 lua-clingo-5.6.2-17.47.x86_64.rpm 06-Aug-2024 03:49 73584 python3-clingo-5.6.2-17.47.x86_64.rpm 06-Aug-2024 03:49 109585