../ clingo-5.6.2-17.51.x86_64.rpm 20-Sep-2024 01:35 881217 clingo-devel-5.6.2-17.51.x86_64.rpm 20-Sep-2024 01:35 61130 dummy-release-15-49.24.x86_64.rpm 06-Aug-2024 03:48 8806 libclingo4-5.6.2-17.51.x86_64.rpm 20-Sep-2024 01:35 1631482 lua-clingo-5.6.2-17.51.x86_64.rpm 20-Sep-2024 01:35 73190 python3-clingo-5.6.2-17.51.x86_64.rpm 20-Sep-2024 01:35 108973