cleanup

runtimeverification · Oct 25, 2023 · 2c4e36a · 2c4e36a
1 parent 96ad36e
commit 2c4e36a
Showing 1 changed file with 12 additions and 8 deletions.
diff --git a/flake.nix b/flake.nix
@@ -1,22 +1,26 @@
 {
   description = "K Framework";
   inputs = {
-    nixpkgs.follows = "haskell-backend/nixpkgs";
     haskell-backend.url = "github:runtimeverification/haskell-backend/03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb";
     booster-backend = {
       url = "github:runtimeverification/hs-backend-booster/66439eba81e7311698cb3647b22bb840529ac524";
       inputs.nixpkgs.follows = "haskell-backend/nixpkgs";
       inputs.haskell-backend.follows = "haskell-backend";
       inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix";
     };
+    nixpkgs.follows = "haskell-backend/nixpkgs";
     flake-utils.url = "github:numtide/flake-utils";
-    mavenix.url = "github:nix-community/mavenix";
-    mavenix.inputs.nixpkgs.follows = "haskell-backend/nixpkgs";
-    mavenix.inputs.utils.follows = "flake-utils";
-    llvm-backend.url = "github:runtimeverification/llvm-backend";
-    llvm-backend.inputs.nixpkgs.follows = "haskell-backend/nixpkgs";
-    llvm-backend.inputs.mavenix.follows = "mavenix";
-    llvm-backend.inputs.utils.follows = "flake-utils";
+    mavenix = {
+      url = "github:nix-community/mavenix";
+      inputs.nixpkgs.follows = "haskell-backend/nixpkgs";
+      inputs.utils.follows = "flake-utils";
+    };
+    llvm-backend = {
+      url = "github:runtimeverification/llvm-backend";
+      inputs.nixpkgs.follows = "haskell-backend/nixpkgs";
+      inputs.mavenix.follows = "mavenix";
+      inputs.utils.follows = "flake-utils";
+    };
     rv-utils.url = "github:runtimeverification/rv-nix-tools";
     # needed by nix/flake-compat-k-unwrapped.nix
     flake-compat = {