File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
clingo-5.6.2-17.52.i586.rpm | 958205 | 2024-Oct-11 20:16 |
clingo-devel-5.6.2-17.52.i586.rpm | 61142 | 2024-Oct-11 20:16 |
dummy-release-15-49.24.i586.rpm | 8824 | 2024-Aug-06 03:48 |
libclingo4-5.6.2-17.52.i586.rpm | 1756604 | 2024-Oct-11 20:16 |
lua-clingo-5.6.2-17.52.i586.rpm | 78363 | 2024-Oct-11 20:16 |
python3-clingo-5.6.2-17.52.i586.rpm | 105414 | 2024-Oct-11 20:16 |