diff options
author | Will Dietz <w@wdtz.org> | 2018-12-02 12:14:43 -0600 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2018-12-02 12:14:43 -0600 |
commit | 3d5ee8648846b3f36038d1197a2882fd9cca8538 (patch) | |
tree | a9c83835aab4b695de178535b6368b3a86fd7c18 /pkgs/development/tools/minizinc | |
parent | 0e4c444cfecb83b294b27518c43dbcaab28b920e (diff) |
minizincide: https, touchup, don't volunteer others to maintain haha :P
Diffstat (limited to 'pkgs/development/tools/minizinc')
-rw-r--r-- | pkgs/development/tools/minizinc/ide.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/tools/minizinc/ide.nix b/pkgs/development/tools/minizinc/ide.nix index 1bfb0726d6a2e..9e4edc236df97 100644 --- a/pkgs/development/tools/minizinc/ide.nix +++ b/pkgs/development/tools/minizinc/ide.nix @@ -11,7 +11,7 @@ stdenv.mkDerivation { src = fetchFromGitHub { owner = "MiniZinc"; repo = "MiniZincIDE"; - rev = version; # XXX chance it//revisit: "3d66971a0cad6edbe797f4dd940229d38e5bfe3d"; # tags on the repo are disappearing: See https://github.com/MiniZinc/libminizinc/issues/257 + rev = version; sha256 = "1hanq7c6li59awlwghgvpd8w93a7zb6iw7p4062nphnbd1dmg92f"; }; @@ -24,7 +24,7 @@ stdenv.mkDerivation { ''; meta = with stdenv.lib; { - homepage = http://www.minizinc.org/; + homepage = https://www.minizinc.org/; description = "IDE for MiniZinc, a medium-level constraint modelling language."; longDescription = '' @@ -37,6 +37,6 @@ stdenv.mkDerivation { license = licenses.mpl20; platforms = platforms.linux; - maintainers = [ maintainers.sheenobu ]; + maintainers = [ maintainers.dtzWill ]; }; } |