Unverified Commit fa36fe58 authored by Peder Bergebakken Sundt's avatar Peder Bergebakken Sundt Committed by GitHub
Browse files

dafny: 4.9.1 -> 4.10.0 (#380907)

parents 27e84b64 4391342d

pkgs/by-name/da/dafny/deps.json

+37 −2
Original line number Diff line number Diff line
@@ -244,6 +244,16 @@ 
    "version": "1.1.0",

    "hash": "sha256-0AqQ2gMS8iNlYkrD+BxtIg7cXMnr9xZHtKAuN4bjfaQ="

  },

  {

    "pname": "Microsoft.NETFramework.ReferenceAssemblies",

    "version": "1.0.3",

    "hash": "sha256-FBoJP5DHZF0QHM0xLm9yd4HJZVQOuSpSKA+VQRpphEE="

  },

  {

    "pname": "Microsoft.NETFramework.ReferenceAssemblies.net452",

    "version": "1.0.3",

    "hash": "sha256-RTPuFG8D7gnwINEoEtAqmVm4oTW8K4Z87v1o4DDeLMI="

  },

  {

    "pname": "Microsoft.TestPlatform.Extensions.TrxLogger",

    "version": "17.9.0",
@@ -294,6 +304,11 @@ 
    "version": "2.6.81",

    "hash": "sha256-0Zshmi1IMWj9/MKUieffpgJxKhJyVgBXPKMg9RSDkRs="

  },

  {

    "pname": "NETStandard.Library",

    "version": "2.0.3",

    "hash": "sha256-Prh2RPebz/s8AzHb2sPHg3Jl8s31inv9k+Qxd293ybo="

  },

  {

    "pname": "Newtonsoft.Json",

    "version": "11.0.2",
@@ -529,6 +544,11 @@ 
    "version": "4.3.0",

    "hash": "sha256-XqZWb4Kd04960h4U9seivjKseGA/YEIpdplfHYHQ9jk="

  },

  {

    "pname": "System.Buffers",

    "version": "4.4.0",

    "hash": "sha256-KTxAhYawFG2V5VX1jw3pzx3IrQXRgn1TsvgjPgxAbqA="

  },

  {

    "pname": "System.Collections",

    "version": "4.3.0",
@@ -624,11 +644,21 @@ 
    "version": "4.1.0",

    "hash": "sha256-7zqB+FXgkvhtlBzpcZyd81xczWP0D3uWssyAGw3t7b4="

  },

  {

    "pname": "System.Memory",

    "version": "4.5.3",

    "hash": "sha256-Cvl7RbRbRu9qKzeRBWjavUkseT2jhZBUWV1SPipUWFk="

  },

  {

    "pname": "System.Net.WebSockets",

    "version": "4.3.0",

    "hash": "sha256-l3h3cF1cCC9zMhWLKSDnZBZvFADUd0Afe2+iAwBA0r0="

  },

  {

    "pname": "System.Numerics.Vectors",

    "version": "4.4.0",

    "hash": "sha256-auXQK2flL/JpnB/rEcAcUm4vYMCYMEMiWOCAlIaqu2U="

  },

  {

    "pname": "System.ObjectModel",

    "version": "4.0.12",
@@ -724,6 +754,11 @@ 
    "version": "4.4.0",

    "hash": "sha256-SeTI4+yVRO2SmAKgOrMni4070OD+Oo8L1YiEVeKDyig="

  },

  {

    "pname": "System.Runtime.CompilerServices.Unsafe",

    "version": "4.5.2",

    "hash": "sha256-8eUXXGWO2LL7uATMZye2iCpQOETn2jCcjUhG6coR5O8="

  },

  {

    "pname": "System.Runtime.CompilerServices.Unsafe",

    "version": "4.7.1",
@@ -841,7 +876,7 @@ 
  },

  {

    "pname": "Tomlyn",

    "version": "0.16.2",

    "hash": "sha256-ULW4n8s2lvTMG3I18rpsVfXtKXN7C8nPrMXQowxGIsU="

    "version": "0.17.0",

    "hash": "sha256-pJHF7w8RJhV23wiI3qzm5el4qPlPlgYTmTKA8yGhzXY="

  }

]

pkgs/by-name/da/dafny/package.nix

+3 −10
Original line number Diff line number Diff line
@@ -38,18 +38,18 @@ let 
in

buildDotnetModule rec {

  pname = "Dafny";

  version = "4.9.1";

  version = "4.10.0";



  src = fetchFromGitHub {

    owner = "dafny-lang";

    repo = "dafny";

    tag = "v${version}";

    hash = "sha256-fCBaOF1mDrqJaUiATZAhzLjlK3NGVFnxdOwgHbOkkgY=";

    hash = "sha256-aPOjt4bwalhJUTJm4+pGqN88LwDP5zrVtakF26b3K4s=";

  };



  postPatch =

    let

      runtimeJarVersion = "4.9.1";

      runtimeJarVersion = "4.10.0";

    in

    ''

      cp ${writeScript "fake-gradlew-for-dafny" ''
@@ -66,13 +66,6 @@ buildDotnetModule rec { 
      substituteInPlace Source/DafnyRuntime/DafnyRuntime.csproj \

        --replace-fail TargetFrameworks TargetFramework \

        --replace-fail "netstandard2.0;net452" net8.0



      for f in Source/**/*.csproj ; do

        [[ "$f" == "Source/DafnyRuntime/DafnyRuntime.csproj" ]] && continue;



        substituteInPlace $f \

          --replace-fail net6.0 net8.0

      done

    '';



  dotnet-sdk = dotnetCorePackages.sdk_8_0;