../ clingo-5.6.2-17.23.x86_64.rpm 09-Jul-2024 23:14 874358 clingo-devel-5.6.2-17.23.x86_64.rpm 09-Jul-2024 23:14 61128 dummy-release-15-49.16.x86_64.rpm 22-Apr-2024 00:11 9389 libclingo4-5.6.2-17.23.x86_64.rpm 09-Jul-2024 23:14 1595215 lua-clingo-5.6.2-17.23.x86_64.rpm 09-Jul-2024 23:14 73573 python3-clingo-5.6.2-17.23.x86_64.rpm 09-Jul-2024 23:14 109569