gebner/nixos-config
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Update intellij eap + new packages.

Browse Source
This commit is contained in:
Gabriel Ebner 2016-03-26 17:50:15 +01:00
parent 50407e106f
commit 739b573c07
1 changed files with 9 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
common.nix
View File

@ -39,10 +39,10 @@
openjdk8 openjdk8
sbt scala sbt scala
idea.idea-community idea.idea-community
firefoxWrapper # firefoxWrapper
qutebrowser # qutebrowser
chromium chromium
thunderbird # thunderbird
qalculate-gtk qalculate-gtk
speedcrunch speedcrunch
viewnior viewnior
@ -57,6 +57,8 @@
wireshark-gtk wireshark-gtk
mutt mutt
goldendict goldendict
patchelf
bazaar
(texlive.combine { (texlive.combine {
inherit (texlive) scheme-full; inherit (texlive) scheme-full;
@ -93,6 +95,7 @@
metis-prover metis-prover
spass spass
z3 z3
cvc4
why3 why3
graphviz graphviz
# toysolver # toysolver
@ -105,10 +108,10 @@
nixpkgs.config.packageOverrides = pkgs: rec { nixpkgs.config.packageOverrides = pkgs: rec {
idea.idea-community = pkgs.idea.idea-community.overrideDerivation (oldAttrs: rec { idea.idea-community = pkgs.idea.idea-community.overrideDerivation (oldAttrs: rec {
name = "idea-community-${version}"; name = "idea-community-${version}";
version = "16.eap"; version = "2016.1.eap";
src = pkgs.fetchurl { src = pkgs.fetchurl {
url = "https://download.jetbrains.com/idea/ideaIC-145.184.1-no-jdk.tar.gz"; url = "https://download.jetbrains.com/idea/ideaIC-2016.1-no-jdk.tar.gz";
sha256 = "a668605db805c8b4b3dc853d6b64788e7f9a370e4c52f7b28a56561c7df63fbc"; sha256 = "77b4195e7dd2047482200fff04cfa0f724bd60945cebdefbd8557d9a3aa70f1c";
}; };
}); });