From 08b393988f0a4a9365291be2f924bdbd7a42f283 Mon Sep 17 00:00:00 2001
From: Rachel Lambda Samuelsson <depsterr@protonmail.com>
Date: Fri, 1 Dec 2023 19:48:02 +0100
Subject: [PATCH] fix cornelis being weird

---
 flake.lock | 28 +++++++---------------------
 flake.nix  |  3 ++-
 2 files changed, 9 insertions(+), 22 deletions(-)

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 }: