Merge pull request #18 from aiken-lang/waalge/bump-flake

bump flake to point at aiken main
aiken-lang · Sep 6, 2024 · 2c41e37 · 2c41e37
2 parents 9349d0e + 0281225
commit 2c41e37
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 7 deletions.
diff --git a/aiken.lock b/aiken.lock
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -6,7 +6,7 @@
     nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
     pre-commit-hooks-nix.url = "github:hercules-ci/pre-commit-hooks.nix/flakeModule";
     pre-commit-hooks-nix.inputs.nixpkgs.follows = "nixpkgs";
-    aiken.url = "github:aiken-lang/aiken/v1.0.29-alpha";
+    aiken.url = "github:aiken-lang/aiken";
     treefmt-nix.url = "github:numtide/treefmt-nix";
   };
 
@@ -39,7 +39,7 @@
               echo 1>&2 "Welcome to the development shell!"
             '';
             name = "hello-aiken";
-            packages = with pkgs; [
+            packages = [
               inputs'.aiken.packages.aiken
             ];
           };