Age | Commit message (Collapse) | 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 | 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 (Collapse) | 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 | Update | Brent Carmer | |
2015-08-11 | Initial commit | Brent Carmer | |