../ clingo-5.6.2-17.26.armv7hl.rpm 13-May-2024 01:27 765974 clingo-devel-5.6.2-17.26.armv7hl.rpm 13-May-2024 01:27 61739 dummy-release-15-49.18.armv7hl.rpm 21-Apr-2024 20:39 9407 libclingo4-5.6.2-17.26.armv7hl.rpm 13-May-2024 01:27 1380042 lua-clingo-5.6.2-17.26.armv7hl.rpm 13-May-2024 01:27 65766 python3-clingo-5.6.2-17.26.armv7hl.rpm 13-May-2024 01:27 101751