../ clingo-5.6.2-17.57.x86_64.rpm 14-Dec-2024 21:29 880251 clingo-devel-5.6.2-17.57.x86_64.rpm 14-Dec-2024 21:29 60937 dummy-release-15-49.24.x86_64.rpm 06-Aug-2024 03:48 8806 libclingo4-5.6.2-17.57.x86_64.rpm 14-Dec-2024 21:29 1628946 lua-clingo-5.6.2-17.57.x86_64.rpm 14-Dec-2024 21:29 73194 python3-clingo-5.6.2-17.57.x86_64.rpm 14-Dec-2024 21:29 109010