public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #81722 from r-ryantm/auto-update/workcraft

Browse Source 
workcraft: 3.2.5 -> 3.2.6
This commit is contained in:
Mario Rodas
2020-03-05 07:42:25 -05:00
committed by GitHub
parent 6c188255f7 86e6080daf
commit 1196a5c7a7
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/applications/science/logic/workcraft/default.nix
View File

@@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
pname = "workcraft";
version = "3.2.5";
version = "3.2.6";
src = fetchurl {
url = "https://github.com/workcraft/workcraft/releases/download/v${version}/workcraft-v${version}-linux.tar.gz";
sha256 = "11dk00b17yhk7cv8zms4nlffc0qwgsapimzr8csb89qmgabd7rj3";
sha256 = "1sfbxmk71gp7paw4l5azqr0lsgsyp4308gx2jz8w4k3nasfshz25";
};
buildInputs = [ makeWrapper ];
@@ -23,7 +23,7 @@ stdenv.mkDerivation rec {
'';
meta = {
homepage = https://workcraft.org/;
homepage = "https://workcraft.org/";
description = "Framework for interpreted graph modeling, verification and synthesis";
platforms = stdenv.lib.platforms.linux;
license = stdenv.lib.licenses.mit;