| Age | Commit message | Author |
|---|---|---|
| 2018-11-14 | fix build process | Alex J. Malozemoff |
| 2017-11-05 | Add z3 dependency | Brent Carmer |
| 2017-10-19 | update (hopefully solves linker issues) | Brent Carmer |
| 2016-11-09 | Update build | Brent Carmer |
| 2015-11-07 | Update | Brent Carmer |
| 2015-11-07 | remove unnecessary makedepends | Brent Carmer |
| 2015-06-09 | Initial import | Brent Carmer |
| Clone | ||
| https://aur.archlinux.org/cryptol-git.git/ | ||