Age | Commit message | Author |
---|---|---|
2024-02-16 | 5.7.1 | Andrew Sun |
2022-11-07 | 5.6.2 | Andrew Sun |
2022-09-16 | 5.6.1 | Andrew Sun |
2022-09-11 | 5.6.0 | Andrew Sun |
2022-06-03 | disable lto for now to fix build | Andrew Sun |
2022-05-04 | 5.5.2 | Andrew Sun |
2021-11-16 | 5.5.1 | Andrew Sun |
2021-07-07 | add extra python option | Andrew Sun |
2021-04-20 | 5.5.0 | Andrew Sun |
2020-12-06 | 5.4.1 | Andrew Sun |
[...] | ||
Clone | ||
https://aur.archlinux.org/clingo.git/ |