nixos-config/common-sw.nix

{ config, pkgs, ... }:

{
  environment.systemPackages = with pkgs.haskellPackages; with pkgs; [
    gitg
    gmpc
    m4
    subversion
    openjdk8
    sbt scala
    # firefoxWrapper
    # qutebrowser
    chromium
    # thunderbird
    qalculate-gtk
    speedcrunch
    viewnior
    gnupg
    pass xclip pwgen
    remmina
    ledger
    hledger
    hledger-diff
    cmake
    mpv
    wireshark-gtk
    mutt
    stable.goldendict
    patchelf
    bazaar
    tokei
    imagemagick

    pdfpc

    # haskell dev
    cabal2nix
    cabal-install
    ghc-mod

    # emacs
    emacs
    ghostscript # for auctex
    aspell

    mediainfo

    isync
    mu
    msmtp
    vdirsyncer khard khal

    veriT
    minisat
    picosat
    glucose
    prover9
    eprover
    metis-prover
    spass
    z3
    cvc4
    graphviz
    # toysolver
    stable.haskellPackages.tip-lib

    emacsPackages.proofgeneral_4_3_pre

    stablePkgs # protect nixpkgs checkout from GC
    unstablePkgs
  ] ++ (with aspellDicts; [ en de fr nl ]);

  nixpkgs.config.packageOverrides = pkgs: with pkgs; let
    fetchNixPkgs = { rev, sha256 }:
    fetchFromGitHub {
      inherit sha256 rev;
      owner = "NixOS";
      repo = "nixpkgs-channels";
    };
    stablePkgs = fetchNixPkgs {
      rev = "5237768d62a40236d24fafbd9f4f97f3227399ce";
      sha256 = "1j707pwm6ll2cvmqvwfxxq21gd9q7l6s3vi3vc01jklplj2v20is";
    };
    unstablePkgs = fetchNixPkgs {
      rev = "f25006bfaff034dcc45e4cd9bd19c072b20b472d";
      sha256 = "1013005fw3rqraql2qcx2w0wba4n2a0w9y1cv6a2jqcjbbsvz0xd";
    };
  in {
    idea-community-eap = pkgs.idea.idea-community.overrideDerivation (oldAttrs: rec {
        name = "idea-community-${version}";
        version = "2016.3.eap";
        src = pkgs.fetchurl {
          url = "https://download.jetbrains.com/idea/ideaIC-163.3094.26-no-jdk.tar.gz";
          sha256 = "4d30a19df147fea55e52cb3743fdc9f11d7a1aa6a8b3c67d70736edc3a528939";
        };
      });

    clion-eap = pkgs.idea.clion.overrideDerivation (oldAttrs: rec {
      name = "clion-${version}";
      version = "2016.3.eap";
      src = pkgs.fetchurl {
        url = "http://download.jetbrains.com/cpp/CLion-163.4396.13.tar.gz";
        sha256 = "124py19pzdz2yal0js6nrwv0qqqycww7py989sgc1381zh81l89j";
      };
    });

    neovim = pkgs.neovim.override {
      extraPythonPackages = [ pkgs.pythonPackages.websocket_client ];
    };

    stablePkgs = stablePkgs;
    stable = import stablePkgs {};
    unstablePkgs = unstablePkgs;
    unstable = import unstablePkgs {};
  };

  nixpkgs.config.allowTexliveBuilds = true;
  nixpkgs.config.allowUnfree = true;

}