diff --git a/common-sw.nix b/common-sw.nix
index 55ebf3c..9dbcf0e 100644
--- a/common-sw.nix
+++ b/common-sw.nix
@@ -40,7 +40,7 @@
     ghc-mod
 
     # emacs
-    # emacs
+    emacs
     emacsPackages.cask
     ghostscript # for auctex
     aspell
diff --git a/large-sw.nix b/large-sw.nix
index 395b8fa..8ff881a 100644
--- a/large-sw.nix
+++ b/large-sw.nix
@@ -13,9 +13,7 @@
     calibre
     vscode
 
-    coq_8_5
-
-    myemacs
+    coq_8_6
 
     # cargo rustc
   ] ++ (with aspellDicts; [ en de fr nl ]);