Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-03-23 | update to 7.8.2.21 | oneup | |
2017-12-01 | switch python2-z3-solver dependency to z3 | oneup | |
2017-11-30 | initial commit | oneup | |
AUR : python2-claripy.git | |
AUR Package Repositories | click here to return to the package base details page |
summarylogtreecommitdiffstats |
Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-03-23 | update to 7.8.2.21 | oneup | |
2017-12-01 | switch python2-z3-solver dependency to z3 | oneup | |
2017-11-30 | initial commit | oneup | |