Commit Graph

3 Commits

Author SHA1 Message Date
Guillaume Maudoux
6efefdc8c1 buildDotnetModule: add support for dotnet tools 2023-04-29 18:54:04 -04:00
David McFarland
13861970f4 treewide: update all dotnet lockfiles 2022-12-19 15:36:25 -04:00
John Wiegley
01fc89623b
pkgs.boogie: 2.4.1 -> 2.15.7
Builds newer than 2.4.1 require buildDotnetModule instead of
buildDotnetPackage.
2022-08-02 10:24:21 -07:00