../ clingo-5.6.2-17.22.x86_64.rpm 24-May-2024 06:37 874950 clingo-devel-5.6.2-17.22.x86_64.rpm 24-May-2024 06:37 61719 dummy-release-15-49.16.x86_64.rpm 22-Apr-2024 00:11 9389 libclingo4-5.6.2-17.22.x86_64.rpm 24-May-2024 06:37 1595807 lua-clingo-5.6.2-17.22.x86_64.rpm 24-May-2024 06:37 74173 python3-clingo-5.6.2-17.22.x86_64.rpm 24-May-2024 06:37 110168