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