aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--packages.nix4
1 files changed, 4 insertions, 0 deletions
diff --git a/packages.nix b/packages.nix
index f378476f..5d1e22b0 100644
--- a/packages.nix
+++ b/packages.nix
@@ -17,6 +17,7 @@ with pkgs; [
cacert
catdocx
chromium
+ coq
ddcutil
diffstat
diffutils
@@ -43,6 +44,7 @@ with pkgs; [
fzf
gawk
gen-sshconfig-sh
+ getmail
gimp
git-tools
global
@@ -121,6 +123,7 @@ with pkgs; [
pwgen
python-environment
qrencode
+ (rWrapper.override{ packages = with rPackages; [ ggplot2 dplyr xts ]; })
racket
ranger
renameutils
@@ -162,6 +165,7 @@ with pkgs; [
xbindkeys
xorg.xev
xorriso
+ xournal
xsensors
xsv
xz