adjust devshell

flake.nix

@@ -168,15 +168,12 @@
             });
           };
 
-        packages =
-          {
+          packages = {
             default = aba2sat;
-            aspforaba = pkgs.callPackage ./nix/packages/aspforaba.nix {inherit (self'.packages) clingo;};
-            clingo = pkgs.callPackage ./nix/packages/clingo.nix {};
-          }
-          // lib.optionalAttrs (!pkgs.stdenv.isDarwin) {
-            aba2sat-llvm-coverage = craneLibLLvmTools.cargoLlvmCov (commonArgs
-              // {
+            aspforaba = pkgs.callPackage ./nix/packages/aspforaba.nix { inherit (self'.packages) clingo; };
+            clingo = pkgs.callPackage ./nix/packages/clingo.nix { };
+          } // lib.optionalAttrs (!pkgs.stdenv.isDarwin) {
+            aba2sat-llvm-coverage = craneLibLLvmTools.cargoLlvmCov (commonArgs // {
               inherit cargoArtifacts;
             });
           };
@@ -191,14 +188,16 @@
 
             RUST_LOG = "trace";
 
-          # Extra inputs can be added here; cargo and rustc are provided by default.
+            inputsFrom = [ ];
+
             packages = [
+              pkgs.hyperfine
+              pkgs.lldb
               pkgs.nil
+              pkgs.nodejs
               pkgs.pre-commit
               pkgs.shellcheck
               pkgs.shfmt
-            pkgs.nodejs
-            pkgs.hyperfine
               self'.packages.aspforaba
             ];
           };

rust-toolchain.toml

@@ -1,2 +1,3 @@
 [toolchain]
 channel = "nightly"
+components = [ "rust-analyzer" ]