From 965fa89ab9833153e915ef172ea9029719c147e5 Mon Sep 17 00:00:00 2001
From: depsterr <depsterr@protonmail.com>
Date: Sat, 10 Feb 2024 14:51:44 +0100
Subject: [PATCH] cornelis update

---
 flake.lock | 33 ++++++---------------------------
 flake.nix  |  1 -
 2 files changed, 6 insertions(+), 28 deletions(-)

diff --git a/flake.lock b/flake.lock
index b612229..787802c 100644
--- a/flake.lock
+++ b/flake.lock
@@ -22,29 +22,8 @@
         "type": "github"
       }
     },
-    "agda-stdlib-source": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1697158940,
-        "narHash": "sha256-vtL6VPvTXhl/mepulUm8SYyTjnGsqno4RHDmTIy22Xg=",
-        "owner": "agda",
-        "repo": "agda-stdlib",
-        "rev": "0817da6877aa045932221134913d8511caa78d97",
-        "type": "github"
-      },
-      "original": {
-        "owner": "agda",
-        "ref": "v1.7.3",
-        "repo": "agda-stdlib",
-        "type": "github"
-      }
-    },
     "cornelis": {
       "inputs": {
-        "agda": [
-          "agda"
-        ],
-        "agda-stdlib-source": "agda-stdlib-source",
         "flake-compat": "flake-compat",
         "flake-utils": "flake-utils_2",
         "nixpkgs": [
@@ -52,11 +31,11 @@
         ]
       },
       "locked": {
-        "lastModified": 11701455942,
-        "narHash": "sha256-oaAB7t6LQfgN/UHuar97zVm6BoH1GR7pk7WVJFsDtp4=",
+        "lastModified": 1706916489,
+        "narHash": "sha256-x6OrQdcViKUqF8m/yuF+hIJhecTwiwVSH9T/mJa+K4k=",
         "owner": "isovector",
         "repo": "cornelis",
-        "rev": "4569a83064343d5cda9f3671332e22ecf8f40c42",
+        "rev": "c1f926eb8a2d5bd051e84f330864ebc3857a83f4",
         "type": "github"
       },
       "original": {
@@ -101,11 +80,11 @@
         "systems": "systems"
       },
       "locked": {
-        "lastModified": 1694529238,
-        "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=",
+        "lastModified": 1701680307,
+        "narHash": "sha256-kAuep2h5ajznlPMD9rnQyffWG8EM/C73lejGofXvdM8=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "ff7b65b44d01cf9ba6a71320833626af21126384",
+        "rev": "4022d587cbbfd70fe950c1e2083a02621806a725",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index 42a3a9a..c8bc738 100644
--- a/flake.nix
+++ b/flake.nix
@@ -9,7 +9,6 @@
     agda.url = "github:agda/agda/v2.6.4.1";
     agda.inputs.nixpkgs.follows = "nixpkgs";
     cornelis.url = "github:isovector/cornelis/";
-    cornelis.inputs.agda.follows = "agda";
     cornelis.inputs.nixpkgs.follows = "nixpkgs";
   };