| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-09-08 | Update package | Neferin | |
| 2024-06-22 | Update package | Neferin | |
| 2024-03-17 | Update package | Neferin | |
| 2024-01-28 | Update package | Neferin | |
| 2023-12-21 | Update package | Neferin | |
| 2023-09-01 | v1.0.8 | Julian Pollinger | |
| 2023-08-15 | Version 1.0.6 | Julian Pollinger | |
| 2023-04-23 | rename downloaded cvc5 file to avoid caching between versions | Julian Pollinger | |
| 2023-03-13 | version 1.0.5 | Julian Pollinger | |
| 2023-02-01 | 1.0.4 | Julian Pollinger | |
| 2023-01-29 | specify conflict with potential other package providing cvc5 | Julian Pollinger | |
| 2023-01-29 | add bash as makeDependency | Julian Pollinger | |
| 2022-12-15 | version 1.0.3 | Julian Pollinger | |
| 2022-10-17 | initial commit for cvc5-bin | Julian Pollinger | |