../ clingo-5.6.2-17.27.armv7hl.rpm 09-Jul-2024 19:18 765404 clingo-devel-5.6.2-17.27.armv7hl.rpm 09-Jul-2024 19:18 61130 dummy-release-15-49.18.armv7hl.rpm 21-Apr-2024 20:39 9407 libclingo4-5.6.2-17.27.armv7hl.rpm 09-Jul-2024 19:18 1379471 lua-clingo-5.6.2-17.27.armv7hl.rpm 09-Jul-2024 19:18 65177 python3-clingo-5.6.2-17.27.armv7hl.rpm 09-Jul-2024 19:18 101112