commit 2f03619e0619ef74625257c7560b6479e2875e32 · pyrox.dev/nixpkgs

pyrox.dev / nixpkgs

lol

fork atom

boogie: 3.5.4 -> 3.5.5 (#430909)

authored by Yohann Boniface and committed by GitHub 5 months ago 2f03619e 03782141

+4 -4

2 changed files

expand all

unified split

pkgs

by-name

boogie

deps.json

package.nix

+2 -2

pkgs/by-name/bo/boogie/deps.json

··· 1 [ 2 { 3 "pname": "CocoR", 4 - "version": "2014.12.24", 5 - "hash": "sha256-Qh3bhGKcXHD7FQa9KvXbN4D1KR0BWgxCCoxNrtSBSF8=" 6 }, 7 { 8 "pname": "Microsoft.Bcl.AsyncInterfaces",

··· 1 [ 2 { 3 "pname": "CocoR", 4 + "version": "2014.12.25", 5 + "hash": "sha256-qxTcnqh7jziriMHwos5/YArRYUG2+3nNoYYmFyPo8E0=" 6 }, 7 { 8 "pname": "Microsoft.Bcl.AsyncInterfaces",

+2 -2

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

··· 9 10 buildDotnetModule rec { 11 pname = "Boogie"; 12 - version = "3.5.4"; 13 14 src = fetchFromGitHub { 15 owner = "boogie-org"; 16 repo = "boogie"; 17 tag = "v${version}"; 18 - hash = "sha256-aTt8lZgGRp+9rFldEJUWlXHosjhRhgj/jfb+N7s1E7I="; 19 }; 20 21 dotnet-sdk = dotnetCorePackages.sdk_8_0;

··· 9 10 buildDotnetModule rec { 11 pname = "Boogie"; 12 + version = "3.5.5"; 13 14 src = fetchFromGitHub { 15 owner = "boogie-org"; 16 repo = "boogie"; 17 tag = "v${version}"; 18 + hash = "sha256-OuNzxzcoWrDCmUfQNXEif5wIY+L5jql14231m7nNBe4="; 19 }; 20 21 dotnet-sdk = dotnetCorePackages.sdk_8_0;