j brauerei: -python35 +python37

2019-06-10 18:56:19 +02:00 · 2019-06-10 18:56:19 +02:00 · 8079877eee
commit 8079877eee
parent 89af71b0ad
1 changed files with 3 additions and 13 deletions
--- a/jeschli/1systems/brauerei/config.nix
+++ b/jeschli/1systems/brauerei/config.nix
@ -78,19 +78,9 @@ in
    gcc
    ghc
    go
-    python35
-    python35Packages.pip
-    (vagrant.override {
-      bundlerEnv = bundlerEnv.override {
-        bundler = bundler.overrideAttrs (old: {
-          name = "bundler-1.16.1";
-          src = fetchurl {
-            url = "https://rubygems.org/gems/bundler-1.16.1.gem";
-            sha256 = "1s2nq4qnffxg3kwrk7cnwxcvfihlhxm9absl2l6d3qckf3sy1f22";
-          };
-        });
-      };
-    })
+    python37
+    python37Packages.pip
+    pipenv
  # dev tools
    gnumake
    jetbrains.clion