minizincide: use qt514
This commit is contained in:
parent
cedb5ff8a3
commit
ef97866598
@ -11184,7 +11184,7 @@ in
|
|||||||
minify = callPackage ../development/web/minify { };
|
minify = callPackage ../development/web/minify { };
|
||||||
|
|
||||||
minizinc = callPackage ../development/tools/minizinc { };
|
minizinc = callPackage ../development/tools/minizinc { };
|
||||||
minizincide = qt5.callPackage ../development/tools/minizinc/ide.nix { };
|
minizincide = qt514.callPackage ../development/tools/minizinc/ide.nix { };
|
||||||
|
|
||||||
mk = callPackage ../development/tools/build-managers/mk { };
|
mk = callPackage ../development/tools/build-managers/mk { };
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user