fix build
This commit is contained in:
parent
94902225b2
commit
f7b44d0131
@ -20,7 +20,7 @@
|
|||||||
remmina
|
remmina
|
||||||
ledger
|
ledger
|
||||||
hledger
|
hledger
|
||||||
# hledger-diff
|
hledger-diff
|
||||||
cmake ninja
|
cmake ninja
|
||||||
mpv
|
mpv
|
||||||
wireshark-gtk
|
wireshark-gtk
|
||||||
@ -70,7 +70,7 @@
|
|||||||
# toysolver
|
# toysolver
|
||||||
stable.haskellPackages.tip-lib
|
stable.haskellPackages.tip-lib
|
||||||
|
|
||||||
emacsPackages.proofgeneral
|
emacsPackages.proofgeneral_HEAD
|
||||||
|
|
||||||
stablePkgs # protect nixpkgs checkout from GC
|
stablePkgs # protect nixpkgs checkout from GC
|
||||||
] ++ (with aspellDicts; [ en de fr nl ]);
|
] ++ (with aspellDicts; [ en de fr nl ]);
|
||||||
@ -91,8 +91,8 @@
|
|||||||
name = "idea-community-${version}";
|
name = "idea-community-${version}";
|
||||||
version = "2017.1.eap";
|
version = "2017.1.eap";
|
||||||
src = pkgs.fetchurl {
|
src = pkgs.fetchurl {
|
||||||
url = "https://download.jetbrains.com/idea/ideaIC-171.4424.14-no-jdk.tar.gz";
|
url = "https://download.jetbrains.com/idea/ideaIC-171.4694.9-no-jdk.tar.gz";
|
||||||
sha256 = "f8f880b8f5a670ea167031804728fbbe9d9694c306c15b286fb8a90cc1cf1841";
|
sha256 = "2e61baaa3709176803df07ac789abe71b837c09801334a580e6de4935b3ce5f0";
|
||||||
};
|
};
|
||||||
});
|
});
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user