diff --git a/flake.nix b/flake.nix
index fe0e83d..223a7e6 100644
--- a/flake.nix
+++ b/flake.nix
@@ -18,13 +18,9 @@
           packages = with pkgs;
             with flakePkgs; [
               bun
-              woodpecker-cli
               nixfmt-rfc-style
-              dive
               nix-tree
-              vips
               shellcheck
-              agda-bin
 
               nodejs_20
               corepack
diff --git a/nix/docker-builder.nix b/nix/docker-builder.nix
index 299d6bf..8d161cb 100644
--- a/nix/docker-builder.nix
+++ b/nix/docker-builder.nix
@@ -15,16 +15,17 @@ dockerTools.buildLayeredImage {
 
   contents = with dockerTools; [
     agda-bin
-    corepack
-    rsync
-    openssh
+    awscli2
     bash
-    coreutils
-    nodejs_20
-    gnused
-    usrBinEnv
     caCertificates
+    corepack
+    coreutils
     fakeNss
+    gnused
+    nodejs_20
+    openssh
+    rsync
+    usrBinEnv
   ];
 
   # fakeRootCommands = ''