| Age | Commit message | Author |
|---|---|---|
| 2022-06-16 | Update checksum | Vojtech Aschenbrenner |
| 2022-06-14 | Update to 2.6 | Vojtech Aschenbrenner |
| 2021-01-28 | Fix checksum | Vojtech Aschenbrenner |
| 2021-01-26 | Update to 2.5 | Vojtech Aschenbrenner |
| 2020-02-17 | Update to 2.4 | Vojtech Aschenbrenner |
| 2019-05-24 | Update to 2.3 | Vojtech Aschenbrenner |
| 2018-11-23 | Update to 2.2 | Vojtech Aschenbrenner |
| 2018-10-10 | Update to 2.1 | Vojtech Aschenbrenner |
| 2017-09-19 | Update to 2.0 | Vojtech Aschenbrenner |
| 2017-03-01 | Update to 1.9.1 | Vojtech Aschenbrenner |
| [...] | ||
| Clone | ||
| https://aur.archlinux.org/eprover.git/ | ||