| Age | Commit message | Author |
|---|---|---|
| 2020-09-12 | Fix compilation by switching to maintained fork. | Denis Kasak |
| 2017-12-18 | Update .SRCINFO | Denis Kasak |
| 2017-12-18 | Initial PKGBUILD version. | Denis Kasak |
| 2015-08-14 | Forgot to add most files... | Tim Besard |
| 2015-08-14 | Proper pkgver, use vars without {}, .gitignore. | Tim Besard |
| 2015-08-14 | Initial import | Tim Besard |
| Clone | ||
| https://aur.archlinux.org/minisat-git.git/ | ||