diff --git a/flake.lock b/flake.lock
index 81f3cfd..73ece8b 100644
--- a/flake.lock
+++ b/flake.lock
@@ -33,6 +33,18 @@
         "type": "github"
       }
     },
+    "agda-nixpkgs": {
+      "locked": {
+        "lastModified": 1720181791,
+        "narHash": "sha256-i4vJL12/AdyuQuviMMd1Hk2tsGt02hDNhA0Zj1m16N8=",
+        "type": "tarball",
+        "url": "https://github.com/NixOS/nixpkgs/archive/4284c2b73c8bce4b46a6adf23e16d9e2ec8da4bb.tar.gz"
+      },
+      "original": {
+        "type": "tarball",
+        "url": "https://github.com/NixOS/nixpkgs/archive/4284c2b73c8bce4b46a6adf23e16d9e2ec8da4bb.tar.gz"
+      }
+    },
     "blst": {
       "flake": false,
       "locked": {
@@ -968,6 +980,7 @@
     },
     "root": {
       "inputs": {
+        "agda-nixpkgs": "agda-nixpkgs",
         "iogx": "iogx"
       }
     },
diff --git a/flake.nix b/flake.nix
index fbc2c3f..ad05c45 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,6 +1,5 @@
-# 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 = {
@@ -8,27 +7,12 @@
       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
index abb9b51..7197968 100644
--- 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;