| Age | Commit message | Author |
|---|---|---|
| 2024-05-14 | pkgrel bump for gcc 14 rebuild | Manuel Wiesinger |
| 2024-03-23 | pkgrel++ | Manuel Wiesinger |
| 2024-03-23 | Fix typo in source | Manuel Wiesinger |
| 2024-03-23 | Initial commit | Manuel Wiesinger |
| Clone | ||
| https://aur.archlinux.org/kissat.git/ | ||