diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b899abd9737e977d843f37fd4cd601de2a29407e..4a2c356932442bf92383b24673267556f6091772 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,7 +4,7 @@
 stages: [ nix-cache, lint, build, tests ]
 
 variables:
-  DEPENDENCIES: ".#theories.inputDerivation .#frontend.inputDerivation .#frontend.cargoArtifacts nixpkgs#gnumake nixpkgs#gnupatch"
+  DEPENDENCIES: ".#theories.inputDerivation .#frontend.inputDerivation .#frontend.cargoArtifacts nixpkgs#gnumake nixpkgs#gnupatch nixpkgs#gnused"
   NIX_STORE_ARTIFACTS_PATH: ".ci_nix_artifacts"
   NIX_STORE_CACHE_PATH: ".ci_nix_cache"
 
diff --git a/flake.nix b/flake.nix
index 0fd87f118d4285282ab4c5fe30a523ba06dd83df..89c63def4d6f5648404ae0b7fa90fc6f033bdd2a 100644
--- a/flake.nix
+++ b/flake.nix
@@ -179,6 +179,8 @@
       devShells.default = pkgs.mkShell {
         inputsFrom = with packages; [frontend theories];
 
+        packages = with pkgs; [gnumake gnupatch gnused];
+
         shellHook = ''
           export LD_LIBRARY_PATH=''${LD_LIBRARY_PATH}:${rust.lib}
           export DYLD_FALLBACK_LIBRARY_PATH=''${DYLD_FALLBACK_LIBRARY_PATH}:${rust.lib}