../ clingo-5.6.2-lp156.15.3.x86_64.rpm 09-May-2024 17:47 729536 clingo-devel-5.6.2-lp156.15.3.x86_64.rpm 09-May-2024 17:47 61552 libclingo4-5.6.2-lp156.15.3.x86_64.rpm 09-May-2024 17:47 1284872 lua-clingo-5.6.2-lp156.15.3.x86_64.rpm 09-May-2024 17:47 58720 python3-clingo-5.6.2-lp156.15.3.x86_64.rpm 09-May-2024 17:47 97456