../ clingo-5.6.2-17.3.x86_64.rpm 02-Mar-2024 16:11 813064 clingo-devel-5.6.2-17.3.x86_64.rpm 02-Mar-2024 16:11 61168 dummy-release-15-49.1.x86_64.rpm 12-Apr-2022 21:38 9268 libclingo4-5.6.2-17.3.x86_64.rpm 02-Mar-2024 16:11 1451208 lua-clingo-5.6.2-17.3.x86_64.rpm 02-Mar-2024 16:11 64028 python3-clingo-5.6.2-17.3.x86_64.rpm 02-Mar-2024 16:11 103672