Age | Commit message (Expand) | Author |
---|---|---|
2018-06-01 | yices v2.5.4 | Alex J. Malozemoff |
2016-02-15 | Bump version | Brent Carmer |
2015-08-11 | Update | Brent Carmer |
2015-08-11 | Initial commit | Brent Carmer |
AUR : yices.git | |
AUR Package Repositories | click here to return to the package base details page |
summarylogtreecommitdiffstats |
Age | Commit message (Expand) | Author |
---|---|---|
2018-06-01 | yices v2.5.4 | Alex J. Malozemoff |
2016-02-15 | Bump version | Brent Carmer |
2015-08-11 | Update | Brent Carmer |
2015-08-11 | Initial commit | Brent Carmer |