../ clingo-5.6.2-17.2.x86_64.rpm 30-Sep-2023 03:05 794K clingo-devel-5.6.2-17.2.x86_64.rpm 30-Sep-2023 03:05 60K dummy-release-15-49.1.x86_64.rpm 12-Apr-2022 21:38 9268 libclingo4-5.6.2-17.2.x86_64.rpm 30-Sep-2023 03:05 1M lua-clingo-5.6.2-17.2.x86_64.rpm 30-Sep-2023 03:05 63K python3-clingo-5.6.2-17.2.x86_64.rpm 30-Sep-2023 03:05 101K