2 files changed, 0 insertions, 40 deletions
diff --git a/modules/home-manager/personal/dotfiles/default.nix b/modules/home-manager/personal/dotfiles/default.nix
index 0e8b36a..82b7401 100644
--- a/modules/home-manager/personal/dotfiles/default.nix
+++ b/modules/home-manager/personal/dotfiles/default.nix
@@ -5,6 +5,5 @@
     latexmkrc = ./latexmkrc;
     rofi = ./rofi.rasi.mustache;
     spacemacs = ./spacemacs.el;
-    venv-manager = ./venv-manager.nix;
   };
 }
diff --git a/modules/home-manager/personal/dotfiles/venv-manager.nix b/modules/home-manager/personal/dotfiles/venv-manager.nix
deleted file mode 100644
index 248cb0c..0000000
--- a/modules/home-manager/personal/dotfiles/venv-manager.nix
+++ /dev/null
@@ -1,39 +0,0 @@
-{ config, lib, pkgs, ... }:
-
-{
-  direnv.enable = lib.mkDefault true;
-
-  haskell = { spacemacs.enable = lib.mkDefault true; };
-
-  latex = {
-    packages = tl: {
-      inherit (tl)
-        scheme-basic # scheme
-        koma-script ragged2e everysel footmisc # koma
-      ;
-    };
-    latexmk = {
-      enable = lib.mkDefault true;
-      output.pdf.enable = lib.mkDefault true;
-      rc =
-        lib.optional (lib.pathExists ~/.config/latexmkrc) ~/.config/latexmkrc;
-    };
-  };
-
-  nix.enable = lib.mkDefault true;
-
-  ocaml.tuareg.enable = lib.mkDefault true;
-
-  coq.coq = pkgs.coq_8_15;
-  # pkgs.coq_8_15.override { buildIde = false; };
-
-  why3 = {
-    defaultEditor = "emacsclient -c";
-    extraConfig = lib.optionalString config.coq.enable ''
-      [prover]
-      editor = ""
-      name = "Coq"
-      version = "8.15+rc1"
-    '';
-  };
-}