../ clingo-5.6.2-17.9.aarch64.rpm 27-Oct-2023 23:54 820K clingo-devel-5.6.2-17.9.aarch64.rpm 27-Oct-2023 23:54 60K dummy-release-15-49.12.aarch64.rpm 28-Oct-2023 00:10 9435 libclingo4-5.6.2-17.9.aarch64.rpm 27-Oct-2023 23:54 1M lua-clingo-5.6.2-17.9.aarch64.rpm 27-Oct-2023 23:54 67K python3-clingo-5.6.2-17.9.aarch64.rpm 27-Oct-2023 23:54 101K