../ clingo-5.6.2-17.40.i586.rpm 14-May-2024 08:37 952252 clingo-devel-5.6.2-17.40.i586.rpm 14-May-2024 08:37 61738 dummy-release-15-49.22.i586.rpm 06-May-2024 19:17 9415 libclingo4-5.6.2-17.40.i586.rpm 14-May-2024 08:37 1721539 lua-clingo-5.6.2-17.40.i586.rpm 14-May-2024 08:37 79334 python3-clingo-5.6.2-17.40.i586.rpm 14-May-2024 08:37 106252