| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-10-20 | add z3 to makedepends | theguy |
| 2020-05-15 | v2.0.0.r144.gd0c81a07 | theguy |
| 2020-04-27 | changed install dir to /usr | theguy |
| 2020-04-27 | initial commit | theguy |
| AUR : hal-git.git | |
| AUR Package Repositories | click here to return to the package base details page |
| summarylogtreecommitdiffstats |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-10-20 | add z3 to makedepends | theguy |
| 2020-05-15 | v2.0.0.r144.gd0c81a07 | theguy |
| 2020-04-27 | changed install dir to /usr | theguy |
| 2020-04-27 | initial commit | theguy |