Pinned agda version to 2.6.4.3.

Fixes #21
input-output-hk · Sep 24, 2024 · 942d6a1 · 942d6a1
1 parent c30a055
commit 942d6a1
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 20 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -1,34 +1,18 @@
-# Docs for this file: https://github.com/input-output-hk/iogx/blob/main/doc/api.md#flakenix
 {
-  description = "Change the description field in your flake.nix";
+  description = "Ouroboros Leios";
 
 
   inputs = {
     iogx = {
       url = "github:input-output-hk/iogx";
     };
 
-    # nixpkgs.follows = "haskell-nix/nixpkgs";
-
-    # hackage = {
-    #   url = "github:input-output-hk/hackage.nix";
-    #   flake = false;
-    # };
-
-    # CHaP = {
-    #   url = "github:input-output-hk/cardano-haskell-packages?ref=repo";
-    #   flake = false;
-    # };
-
-    # haskell-nix = {
-    #   url = "github:input-output-hk/haskell.nix";
-    #   inputs.hackage.follows = "hackage";
-    # };
+    # Agda version 2.6.4.3
+    agda-nixpkgs.url = "https://github.com/NixOS/nixpkgs/archive/4284c2b73c8bce4b46a6adf23e16d9e2ec8da4bb.tar.gz";
 
   };
 
 
-  # Docs for mkFlake: https://github.com/input-output-hk/iogx/blob/main/doc/api.md#mkflake
   outputs = inputs: inputs.iogx.lib.mkFlake {
 
     inherit inputs;

diff --git a/nix/agda.nix b/nix/agda.nix
@@ -10,7 +10,7 @@ let
                      else "";
   };
 
-  customAgda = pkgs;
+  customAgda = inputs.agda-nixpkgs.legacyPackages;
 
   agdaStdlib = customAgda.agdaPackages.standard-library;