Include more packages by default.

archachatina.nix

@@ -17,13 +17,8 @@
     mediainfo
     flac
 
-    libreoffice
     recoll
-    minisat
-    prover9
     uvccapture
-    veriT
-    nix-repl
   ];
 
 }

common.nix

@@ -29,7 +29,7 @@
   #   defaultLocale = "en_US.UTF-8";
   # };
 
-  environment.systemPackages = with pkgs; with haskellngPackages; [
+  environment.systemPackages = with pkgs.haskellPackages; with pkgs; [
     stdenv
     nox
     wget
@@ -94,6 +94,23 @@
     emacs
     ghostscript # for auctex
     aspell
+
+    libreoffice
+    calibre
+    mediainfo
+
+    isync
+    mu
+    msmtp
+
+    veriT
+    minisat
+    prover9
+    eprover
+    z3
+    why3
+
+    nix-repl
   ] ++ (with aspellDicts; [ en de fr nl ]);
 
   nixpkgs.config.packageOverrides = pkgs: rec {