minizincide: 2.4.2 -> 2.4.3
This commit is contained in:
parent
e50c67ad7e
commit
0dc0eb5e3c
@ -1,6 +1,6 @@
|
||||
{ stdenv, fetchFromGitHub, qtbase, qtwebengine, qtwebkit, qmake, makeWrapper, minizinc }:
|
||||
let
|
||||
version = "2.4.2";
|
||||
version = "2.4.3";
|
||||
in
|
||||
stdenv.mkDerivation {
|
||||
pname = "minizinc-ide";
|
||||
@ -13,7 +13,7 @@ stdenv.mkDerivation {
|
||||
owner = "MiniZinc";
|
||||
repo = "MiniZincIDE";
|
||||
rev = version;
|
||||
sha256 = "1xqs27f14r79vcxf9bx72bbnhxc913lpr5d8cv31dacbq5fyxkw7";
|
||||
sha256 = "0dfqh73rnp00336pyr1hlgl1wb4m2kh28zvdkamjgml60gmg6wdr";
|
||||
};
|
||||
|
||||
sourceRoot = "source/MiniZincIDE";
|
||||
@ -25,7 +25,7 @@ stdenv.mkDerivation {
|
||||
'';
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
homepage = https://www.minizinc.org/;
|
||||
homepage = "https://www.minizinc.org/";
|
||||
description = "IDE for MiniZinc, a medium-level constraint modelling language";
|
||||
|
||||
longDescription = ''
|
||||
|
Loading…
Reference in New Issue
Block a user