Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
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 | 2 | -5/+74 |
2023-09-16 | boogie: move out of dotnet-packages.nix | mdarocha | 2 | -0/+246 |
2023-09-10 | bochs: move to by-name hierarchy | Anderson Torres | 1 | -0/+151 |