Name Last Modified Size
Parent Directory
clingo-5.6.2-17.17.aarch64.rpm 02-Feb-2024 21:57 819KiB
clingo-devel-5.6.2-17.17.aarch64.rpm 02-Feb-2024 21:57 60KiB
dummy-release-15-49.13.aarch64.rpm 31-Jan-2024 23:34 9.2KiB
libclingo4-5.6.2-17.17.aarch64.rpm 02-Feb-2024 21:57 1.4MiB
lua-clingo-5.6.2-17.17.aarch64.rpm 02-Feb-2024 21:57 67KiB
python3-clingo-5.6.2-17.17.aarch64.rpm 02-Feb-2024 21:57 101KiB