../ clingo-5.6.2-17.43.x86_64.rpm 11-Jul-2024 18:43 874362 clingo-devel-5.6.2-17.43.x86_64.rpm 11-Jul-2024 18:43 61126 dummy-release-15-49.22.x86_64.rpm 06-May-2024 19:29 9396 libclingo4-5.6.2-17.43.x86_64.rpm 11-Jul-2024 18:43 1595219 lua-clingo-5.6.2-17.43.x86_64.rpm 11-Jul-2024 18:43 73579 python3-clingo-5.6.2-17.43.x86_64.rpm 11-Jul-2024 18:43 109576