Commit 53d21a0a authored by Samuel Meenzen's avatar Samuel Meenzen
Browse files

boogie: fix build

parent 4ea61817

pkgs/by-name/bo/boogie/package.nix

+1 −1
Original line number Diff line number Diff line
@@ -15,7 +15,7 @@ buildDotnetModule rec { 
    owner = "boogie-org";

    repo = "boogie";

    tag = "v${version}";

    hash = "sha256-OuNzxzcoWrDCmUfQNXEif5wIY+L5jql14231m7nNBe4=";

    hash = "sha256-tmcio1GCyfMhjnbBE/pUqYso5HCu4SLHOYx/t0/PZTQ=";

  };



  dotnet-sdk = dotnetCorePackages.sdk_8_0;