../ clingo-5.6.2-lp152.14.1.x86_64.rpm 12-Dec-2022 09:45 795K clingo-devel-5.6.2-lp152.14.1.x86_64.rpm 12-Dec-2022 09:45 60K dummy-release-15-lp152.47.1.x86_64.rpm 08-Apr-2022 20:07 9400 libclingo4-5.6.2-lp152.14.1.x86_64.rpm 12-Dec-2022 09:45 1M lua-clingo-5.6.2-lp152.14.1.x86_64.rpm 12-Dec-2022 09:45 63K python3-clingo-5.6.2-lp152.14.1.x86_64.rpm 12-Dec-2022 09:45 101K