diff --git a/flake.lock b/flake.lock index 96e09f1..c14ffb1 100644 --- a/flake.lock +++ b/flake.lock @@ -47,14 +47,16 @@ "agda-stdlib-source": "agda-stdlib-source", "flake-compat": "flake-compat", "flake-utils": "flake-utils_2", - "nixpkgs": "nixpkgs" + "nixpkgs": [ + "nixpkgs" + ] }, "locked": { - "lastModified": 1701381799, - "narHash": "sha256-ZYhwijxt6DFdZbHR/Vr0nq67TQi0TeDvCAlJaP6n0JA=", + "lastModified": 11701455942, + "narHash": "sha256-oaAB7t6LQfgN/UHuar97zVm6BoH1GR7pk7WVJFsDtp4=", "owner": "isovector", "repo": "cornelis", - "rev": "86174c3eea973f8469743d744c643bcf164fd62d", + "rev": "4569a83064343d5cda9f3671332e22ecf8f40c42", "type": "github" }, "original": { @@ -134,22 +136,6 @@ } }, "nixpkgs": { - "locked": { - "lastModified": 1699186365, - "narHash": "sha256-Pxrw5U8mBsL3NlrJ6q1KK1crzvSUcdfwb9083sKDrcU=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "a0b3b06b7a82c965ae0bb1d59f6e386fe755001d", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixpkgs-unstable", - "repo": "nixpkgs", - "type": "github" - } - }, - "nixpkgs_2": { "locked": { "lastModified": 1701263465, "narHash": "sha256-lNXUIlkfyDyp9Ox21hr+wsEf/IBklLvb6bYcyeXbdRc=", @@ -170,7 +156,7 @@ "agda": "agda", "cornelis": "cornelis", "home-manager": "home-manager", - "nixpkgs": "nixpkgs_2" + "nixpkgs": "nixpkgs" } }, "systems": { diff --git a/flake.nix b/flake.nix index 72c4da7..c46ca61 100644 --- a/flake.nix +++ b/flake.nix @@ -8,8 +8,9 @@ home-manager.inputs.nixpkgs.follows = "nixpkgs"; agda.url = "github:agda/agda/v2.6.4.1"; agda.inputs.nixpkgs.follows = "nixpkgs"; - cornelis.url = "github:isovector/cornelis"; + cornelis.url = "github:isovector/cornelis/"; cornelis.inputs.agda.follows = "agda"; + cornelis.inputs.nixpkgs.follows = "nixpkgs"; }; outputs = { self, nixpkgs, home-manager, agda, cornelis }: