Age | Commit message (Collapse) | 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 (Collapse) | 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 | |