../ clingo-5.6.2-17.32.armv7hl.rpm 19-Sep-2024 01:15 768398 clingo-devel-5.6.2-17.32.armv7hl.rpm 19-Sep-2024 01:15 61135 dummy-release-15-49.19.armv7hl.rpm 07-Aug-2024 18:39 8815 libclingo4-5.6.2-17.32.armv7hl.rpm 19-Sep-2024 01:15 1395922 lua-clingo-5.6.2-17.32.armv7hl.rpm 19-Sep-2024 01:15 64741 python3-clingo-5.6.2-17.32.armv7hl.rpm 19-Sep-2024 01:15 100810