125 lines
2.6 KiB
Nix
125 lines
2.6 KiB
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 ninja
|
|
mpv
|
|
wireshark-gtk
|
|
mutt
|
|
stable.goldendict
|
|
patchelf
|
|
bazaar
|
|
tokei loc
|
|
ripgrep
|
|
imagemagick
|
|
|
|
pdfpc
|
|
|
|
# haskell dev
|
|
cabal2nix
|
|
cabal-install
|
|
ghc-mod
|
|
|
|
# emacs
|
|
# emacs
|
|
emacsPackages.cask
|
|
ghostscript # for auctex
|
|
aspell
|
|
|
|
mediainfo
|
|
|
|
isync
|
|
mu
|
|
msmtp
|
|
vdirsyncer khard khal
|
|
|
|
config.boot.kernelPackages.perf
|
|
|
|
veriT
|
|
minisat
|
|
picosat
|
|
glucose
|
|
prover9
|
|
eprover
|
|
metis-prover
|
|
spass
|
|
z3
|
|
cvc4
|
|
graphviz
|
|
# toysolver
|
|
stable.haskellPackages.tip-lib
|
|
|
|
emacsPackages.proofgeneral
|
|
|
|
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.10154.41-no-jdk.tar.gz";
|
|
sha256 = "9f6cec52e73e7c2a039612de52b049fe56b1a0822db4e004bf0a08e8c306b417";
|
|
};
|
|
});
|
|
|
|
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-2016.3-RC3.tar.gz";
|
|
sha256 = "16nszamr0bxg8aghyrg4wzxbp9158kjzhr957ljpbipz0rlixf31";
|
|
};
|
|
});
|
|
|
|
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;
|
|
|
|
}
|