about summary refs log tree commit diff
path: root/pkgs/by-name/bo
AgeCommit message (Expand)AuthorFilesLines
2023-11-04Merge pull request #256799 from argrat/borealis-cursorsWeijia Wang1-0/+33
2023-11-04borealis-cursors: init at 2.0Nicolò Bertazzo1-0/+33
2023-10-11boogie: 3.0.4 -> 3.0.5R. Ryantm1-2/+2
2023-09-16boogie: 2.15.7 -> 3.0.4mdarocha2-5/+74
2023-09-16boogie: move out of dotnet-packages.nixmdarocha2-0/+246
2023-09-10bochs: move to by-name hierarchyAnderson Torres1-0/+151