| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-09-19 | Update to 2.0 | Vojtech Aschenbrenner |
| 2017-03-01 | Update to 1.9.1 | Vojtech Aschenbrenner |
| 2015-07-15 | Initial commit | Vojtěch Aschenbrenner |
| AUR : eprover.git | |
| AUR Package Repositories | click here to return to the package base details page |
| summarylogtreecommitdiffstats |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-09-19 | Update to 2.0 | Vojtech Aschenbrenner |
| 2017-03-01 | Update to 1.9.1 | Vojtech Aschenbrenner |
| 2015-07-15 | Initial commit | Vojtěch Aschenbrenner |