@@ -109,18 +109,14 @@ in
109109with pkgs.lib;
110110rec {
111111 inherit reflex-platform;
112− inherit (reflex-platform) nixpkgs;
112+ inherit (reflex-platform) nixpkgs pinBuildInputs;
113113 path = reflex-platform.filterGit ./.;
114114 command = ghcObelisk.obelisk-command;
115− shell = nixpkgs.stdenv.mkDerivation {
116− name = "obelisk-shell";
117− src = null;
118− nativeBuildInputs = [
119− command
120− pkgs.openssh
121− pkgs.gitAndTools.hub
122− ];
123− };
115+ shell = pinBuildInputs "obelisk-shell" ([
116+ command
117+ pkgs.openssh
118+ pkgs.gitAndTools.hub
119+ ]) [];
124120
125121 selftest = pkgs.writeScript "selftest" ''
126122 #!/usr/bin/env bash