Name Last Modified Size
Parent Directory
clingo-5.6.2-15.1.x86_64.rpm 21-Jun-2023 14:43 795KiB
clingo-devel-5.6.2-15.1.x86_64.rpm 21-Jun-2023 14:43 60KiB
dummy-release-15-47.1.x86_64.rpm 08-Apr-2022 20:07 9.1KiB
libclingo4-5.6.2-15.1.x86_64.rpm 21-Jun-2023 14:43 1.4MiB
lua-clingo-5.6.2-15.1.x86_64.rpm 21-Jun-2023 14:43 63KiB
python3-clingo-5.6.2-15.1.x86_64.rpm 21-Jun-2023 14:43 101KiB
DB was synched from remote : 2024-12-15 22:23:47.020