../ clingo-5.6.2-lp153.12.1.x86_64.rpm 12-Dec-2022 09:45 795K clingo-devel-5.6.2-lp153.12.1.x86_64.rpm 12-Dec-2022 09:45 60K libclingo4-5.6.2-lp153.12.1.x86_64.rpm 12-Dec-2022 09:45 1M lua-clingo-5.6.2-lp153.12.1.x86_64.rpm 12-Dec-2022 09:45 63K python3-clingo-5.6.2-lp153.12.1.x86_64.rpm 12-Dec-2022 09:45 101K