| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-04-12 | Update to latest version | Gergely Imreh |
| 2020-01-11 | Do proper submodule checkout and bump version. | Gergely Imreh |
| 2019-05-18 | Version based on nightlies, update dependencies, optionally precompile proofs | Gergely Imreh |
| 2019-02-16 | Add missing clang dependency | Gergely Imreh |
| 2019-02-16 | Update to the latest git version | Gergely Imreh |
| 2019-02-15 | No need for submodule sync, as the code will do that elsewhere | Gergely Imreh |
| 2019-02-15 | add missing makedepends: jq | Gergely Imreh |
| 2019-02-15 | Initial release 0.0.1.r23.g271a6812 | Gergely Imreh |