| Age | Commit message | Author |
|---|---|---|
| 2019-03-14 | update srcinfo | Brent Carmer |
| 2019-03-14 | update build for 2019 | Brent Carmer |
| 2017-10-18 | update dependencies | Brent Carmer |
| 2016-03-31 | Fix pkgbuild | Brent Carmer |
| 2015-11-08 | Update licence | Brent Carmer |
| 2015-11-08 | Download antlr too. | Brent Carmer |
| 2015-11-08 | Initial commit | Brent Carmer |
| Clone | ||
| https://aur.archlinux.org/cvc4-git.git/ | ||