chn/nixpkgs
1
0
Fork 0
mirror of https://github.com/CHN-beta/nixpkgs.git synced 2026-01-12 02:40:31 +08:00
Code Issues Packages Projects Releases Wiki Activity

boogie: 3.4.2 -> 3.5.1

Browse Source
This commit is contained in:
Gutyina Gergő
2025-04-01 16:40:07 +02:00
parent e8b6e8a344
commit e4f70e74e3
2 changed files with 195 additions and 195 deletions
Download Patch File Download Diff File Expand all files Collapse all files

384
pkgs/by-name/bo/boogie/deps.json generated
View File

File diff suppressed because it is too large Load Diff

6
pkgs/by-name/bo/boogie/package.nix
View File

@@ -8,16 +8,16 @@
buildDotnetModule rec {
pname = "Boogie";
version = "3.4.2";
version = "3.5.1";
src = fetchFromGitHub {
owner = "boogie-org";
repo = "boogie";
rev = "v${version}";
hash = "sha256-IWtYbb1IFB6DLIYYTP+q7q+h/0aqonxr/mWwf+83aRo=";
hash = "sha256-0YZy4TYff6iupSAwDw8qvR6vdkUh8PDXKoKARfEyEPQ=";
};
dotnet-sdk = dotnetCorePackages.sdk_6_0-bin;
dotnet-sdk = dotnetCorePackages.sdk_8_0;
projectFile = [ "Source/Boogie.sln" ];
nugetDeps = ./deps.json;