| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-01-30 | version 5.6.9 | Azat Abdullin |
| 2020-12-29 | MathSAT 5.6.5 | Marat Akhin |
| 2015-07-01 | Initial commit | Marat Kh. Akhin |
| AUR : mathsat-5.git | |
| AUR Package Repositories | click here to return to the package base details page |
| summarylogtreecommitdiffstats |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-01-30 | version 5.6.9 | Azat Abdullin |
| 2020-12-29 | MathSAT 5.6.5 | Marat Akhin |
| 2015-07-01 | Initial commit | Marat Kh. Akhin |