Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-06-09 | treewide: Remove indefinite article from meta.description | Alexis Hildebrandt | 1 | -1/+1 |
2024-05-23 | boogie: 3.1.5 -> 3.1.6 | R. Ryantm | 1 | -2/+2 |
2024-04-24 | boogie: 3.1.4 -> 3.1.5 | R. Ryantm | 1 | -2/+2 |
2024-04-12 | boogie: 3.1.3 -> 3.1.4 | R. Ryantm | 1 | -2/+2 |
2024-03-15 | boogie: 3.1.2 -> 3.1.3 | R. Ryantm | 1 | -2/+2 |
2024-03-11 | boogie: 3.1.1 -> 3.1.2 | R. Ryantm | 1 | -2/+2 |
2024-03-07 | boogie: 3.0.10 -> 3.1.1 | R. Ryantm | 1 | -2/+2 |
2024-01-23 | boogie: 3.0.9 -> 3.0.10 | R. Ryantm | 1 | -2/+2 |
2023-12-13 | boogie: 3.0.6 -> 3.0.9 | R. Ryantm | 1 | -2/+2 |
2023-11-22 | boogie: 3.0.5 -> 3.0.6 | R. Ryantm | 1 | -2/+2 |
2023-10-11 | boogie: 3.0.4 -> 3.0.5 | R. Ryantm | 1 | -2/+2 |
2023-09-16 | boogie: 2.15.7 -> 3.0.4 | mdarocha | 1 | -5/+13 |
2023-09-16 | boogie: move out of dotnet-packages.nix | mdarocha | 1 | -0/+49 |