../ clingo-5.6.2-15.1.x86_64.rpm 21-Jun-2023 14:43 795K clingo-devel-5.6.2-15.1.x86_64.rpm 21-Jun-2023 14:43 60K dummy-release-15-47.1.x86_64.rpm 08-Apr-2022 20:07 9268 libclingo4-5.6.2-15.1.x86_64.rpm 21-Jun-2023 14:43 1M lua-clingo-5.6.2-15.1.x86_64.rpm 21-Jun-2023 14:43 63K python3-clingo-5.6.2-15.1.x86_64.rpm 21-Jun-2023 14:43 101K