about summary refs log tree commit diff
path: root/pkgs/by-name/bo/boogie/package.nix
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2024-05-23boogie: 3.1.5 -> 3.1.6R. Ryantm1-2/+2
2024-04-24boogie: 3.1.4 -> 3.1.5R. Ryantm1-2/+2
2024-04-12boogie: 3.1.3 -> 3.1.4R. Ryantm1-2/+2
2024-03-15boogie: 3.1.2 -> 3.1.3R. Ryantm1-2/+2
2024-03-11boogie: 3.1.1 -> 3.1.2R. Ryantm1-2/+2
2024-03-07boogie: 3.0.10 -> 3.1.1R. Ryantm1-2/+2
2024-01-23boogie: 3.0.9 -> 3.0.10R. Ryantm1-2/+2
2023-12-13boogie: 3.0.6 -> 3.0.9R. Ryantm1-2/+2
2023-11-22boogie: 3.0.5 -> 3.0.6R. Ryantm1-2/+2
2023-10-11boogie: 3.0.4 -> 3.0.5R. Ryantm1-2/+2
2023-09-16boogie: 2.15.7 -> 3.0.4mdarocha1-5/+13
2023-09-16boogie: move out of dotnet-packages.nixmdarocha1-0/+49