larstvei/nix-config
1
0
Fork 0
mirror of https://github.com/larstvei/nix-config.git synced 2024-11-26 08:58:31 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Update maude

Browse Source
This commit is contained in:
larstvei 2023-05-04 00:09:34 +02:00
parent d2c5cd3287
commit 0d1d2687b2
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/maude-mac/default.nix
View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
pname = "maude";
version = "3.2.1";
version = "3.3";
src = fetchurl {
url = "https://github.com/SRI-CSL/Maude/releases/download/${version}/Maude-${version}-macos.zip";
sha256 = "sha256-m+bgdYzzoQq6knrUkRtr3rXqHLNgr3kquKzuSUIDa2I=";
url = "https://github.com/SRI-CSL/Maude/releases/download/Maude${version}/Maude-macos.zip";
sha256 = "sha256-ulo4zdmBJQYjvlsmS5L5uhmsxIKzLJ2BKE+mwJYMnbE=";
};
nativeBuildInputs = [ unzip ];