Name Last Modified Size
Parent Directory
clingo-5.6.2-17.33.x86_64.rpm 21-Feb-2024 01:37 855KiB
clingo-devel-5.6.2-17.33.x86_64.rpm 21-Feb-2024 01:37 60KiB
dummy-release-15-49.19.x86_64.rpm 14-Feb-2024 18:02 9.2KiB
libclingo4-5.6.2-17.33.x86_64.rpm 21-Feb-2024 01:37 1.5MiB
lua-clingo-5.6.2-17.33.x86_64.rpm 21-Feb-2024 01:37 73KiB
python3-clingo-5.6.2-17.33.x86_64.rpm 21-Feb-2024 01:37 108KiB