| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2022-10-21 | user/z3: Update to 4.8.17, switch to CMake | A. Wilcox | 1 | -7/+15 |
| 2020-07-07 | user/z3: Update to 4.8.8 | A. Wilcox | 1 | -7/+4 |
| 2020-06-16 | user/z3: fix build on 32-bit arches | Max Rees | 1 | -3/+10 |
| 2020-02-26 | user/z3: Bump to 4.8.7 | A. Wilcox | 1 | -2/+2 |
| 2019-10-03 | user/z3: bump to 4.8.6 | A. Wilcox | 1 | -4/+4 |
| 2019-06-20 | user/z3: bump to 4.8.5 | A. Wilcox | 1 | -4/+4 |
| 2019-04-25 | user/z3: new package | A. Wilcox | 1 | -0/+40 |
 |
index : packages | |
| The official Adélie Linux package repository tree. | root |
| summaryrefslogtreecommitdiff |