../ clingo-5.6.2-17.41.x86_64.rpm 25-May-2024 23:02 874954 clingo-devel-5.6.2-17.41.x86_64.rpm 25-May-2024 23:02 61724 dummy-release-15-49.22.x86_64.rpm 06-May-2024 19:29 9396 libclingo4-5.6.2-17.41.x86_64.rpm 25-May-2024 23:02 1595811 lua-clingo-5.6.2-17.41.x86_64.rpm 25-May-2024 23:02 74177 python3-clingo-5.6.2-17.41.x86_64.rpm 25-May-2024 23:02 110177