../ clingo-5.6.2-17.43.i586.rpm 11-Jul-2024 18:58 951674 clingo-devel-5.6.2-17.43.i586.rpm 11-Jul-2024 18:58 61138 dummy-release-15-49.22.i586.rpm 06-May-2024 19:17 9415 libclingo4-5.6.2-17.43.i586.rpm 11-Jul-2024 18:58 1720944 lua-clingo-5.6.2-17.43.i586.rpm 11-Jul-2024 18:58 78766 python3-clingo-5.6.2-17.43.i586.rpm 11-Jul-2024 18:58 105661