John Wiegley 30124c4a5f pkgs.dafny: 2.3.0 -> 3.7.3		2023-04-29 09:28:22 -04:00
..
patches
boogie-deps.nix	treewide: update all dotnet lockfiles	2022-12-19 15:36:25 -04:00
dafny-deps.nix	pkgs.dafny: 2.3.0 -> 3.7.3	2023-04-29 09:28:22 -04:00