From daf4d2901ebcbdc2cea2771b7942a22d1edbe855 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9ana=20=E6=B1=9F?= <leana.jiang+git@icloud.com>
Date: Thu, 15 Jan 2026 21:33:06 +0100
Subject: [PATCH] overlays/pin-emacs28: drop

I suspect that agda toolchain has moved on and I can use a newer emacs
---
 nix/configurations/vanadium.nix               | 3 ---
 nix/configurations/vanadium/home/programs.nix | 4 ----
 nix/overlays/pin-emacs28.nix                  | 6 ------
 3 files changed, 13 deletions(-)
 delete mode 100644 nix/overlays/pin-emacs28.nix

diff --git a/nix/configurations/vanadium.nix b/nix/configurations/vanadium.nix
index d8f2f12c..20037a04 100644
--- a/nix/configurations/vanadium.nix
+++ b/nix/configurations/vanadium.nix
@@ -64,9 +64,6 @@ in
           ./vanadium/overlay.nix
           ./vanadium/kernel-overlay.nix
 
-          # removed, but I need it for PLFA!
-          ../overlays/pin-emacs28.nix
-
           # use lix everywhere and wrap it with nom
           ../overlays/lix.nix
           ../overlays/nix-monitored.nix
diff --git a/nix/configurations/vanadium/home/programs.nix b/nix/configurations/vanadium/home/programs.nix
index 2f1b390f..a4d1d533 100644
--- a/nix/configurations/vanadium/home/programs.nix
+++ b/nix/configurations/vanadium/home/programs.nix
@@ -118,10 +118,6 @@
       enable = true;
       defaultEditor = true;
     };
-    emacs = {
-      enable = true;
-      package = pkgs.unsafe-emacs28;
-    };
     lazygit.enable = true;
     fish = {
       enable = true;
diff --git a/nix/overlays/pin-emacs28.nix b/nix/overlays/pin-emacs28.nix
deleted file mode 100644
index 11f1ed50..00000000
--- a/nix/overlays/pin-emacs28.nix
+++ /dev/null
@@ -1,6 +0,0 @@
-let
-  sources = import ../../npins;
-in
-_: _: {
-  unsafe-emacs28 = (import sources.pin-emacs28 { }).emacs;
-}