| Age | Commit message | Author |
|---|---|---|
| 2016-07-01 | new release | tequa |
| 2016-05-24 | added examples to pkg | tequa |
| 2016-05-21 | new version | tequa |
| 2016-05-21 | version 1.1 | tequa |
| 2016-05-19 | new bugfix release | tequa |
| 2016-05-18 | version 1.0 | tequa |
| 2016-05-01 | not suitable for arm due to minisat | tequa |
| 2016-05-01 | fixed permissions | tequa |
| 2016-05-01 | version 0.9 | tequa |
| Clone | ||
| https://aur.archlinux.org/sat-shell.git/ | ||