| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2024-06-09 | treewide: Remove indefinite article from meta.description | Alexis Hildebrandt | 1 | -1/+1 |
| 2024-03-19 | treewide: add meta.mainProgram to packages with a single binary | stuebinm | 1 | -0/+1 |
| 2024-03-02 | cvc5: 1.1.1 -> 1.1.2 | R. Ryantm | 1 | -2/+2 |
| 2024-01-30 | cvc5: 1.1.0 -> 1.1.1 | R. Ryantm | 1 | -2/+2 |
| 2023-12-28 | cvc5: 1.0.9 -> 1.1.0 | R. Ryantm | 1 | -2/+2 |
| 2023-12-20 | cvc5: 1.0.8 -> 1.0.9 | R. Ryantm | 1 | -2/+2 |
| 2023-09-22 | Merge master into staging-next | github-actions[bot] | 1 | -2/+2 |
| 2023-09-11 | cvc5: 1.0.7 -> 1.0.8 | R. Ryantm | 1 | -2/+2 |
| 2023-09-08 | treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildType | Sandro Jäckel | 1 | -1/+2 |
| 2023-09-04 | cvc5: 1.0.6 → 1.0.7 | Vincent Laporte | 1 | -2/+2 |
| 2023-08-16 | cvc5: 1.0.5 → 1.0.6 | Vincent Laporte | 1 | -3/+3 |
| 2023-03-25 | cvc5: 1.0.4 -> 1.0.5 | R. Ryantm | 1 | -2/+2 |
| 2023-02-22 | cvc5: 1.0.3 → 1.0.4 | Vincent Laporte | 1 | -5/+8 |
| 2022-12-15 | cvc5: 1.0.2 -> 1.0.3 | R. Ryantm | 1 | -2/+2 |
| 2022-08-29 | cvc5: 1.0.1 -> 1.0.2 | R. Ryantm | 1 | -2/+2 |
| 2022-07-28 | cvc5: 1.0.0 -> 1.0.1 | R. Ryantm | 1 | -2/+2 |
| 2022-04-06 | cvc5: init at 1.0.0 | Shadaj Laddad | 1 | -0/+34 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |