../ clingo-5.6.2-17.27.aarch64.rpm 09-Jul-2024 20:21 838780 clingo-devel-5.6.2-17.27.aarch64.rpm 09-Jul-2024 20:21 61166 dummy-release-15-49.18.aarch64.rpm 21-Apr-2024 20:40 9438 libclingo4-5.6.2-17.27.aarch64.rpm 09-Jul-2024 20:21 1514328 lua-clingo-5.6.2-17.27.aarch64.rpm 09-Jul-2024 20:21 67447 python3-clingo-5.6.2-17.27.aarch64.rpm 09-Jul-2024 20:21 103150