From f8658bc7933bd0797c2992326c808c3c9bae5b41 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9ana=20=E6=B1=9F?= <leana.jiang+git@icloud.com>
Date: Fri, 23 Jan 2026 23:13:59 +0100
Subject: [PATCH] overlays/cornelis: init

---
 nix/overlays/cornelis.nix |  5 +++++
 npins/sources.json        | 16 ++++++++++++++++
 2 files changed, 21 insertions(+)
 create mode 100644 nix/overlays/cornelis.nix

diff --git a/nix/overlays/cornelis.nix b/nix/overlays/cornelis.nix
new file mode 100644
index 00000000..7ae3c175
--- /dev/null
+++ b/nix/overlays/cornelis.nix
@@ -0,0 +1,5 @@
+# The Agda support for Vim
+let
+  sources = import ../../npins;
+in
+sources.cornelis.asFlake.overlays.cornelis
diff --git a/npins/sources.json b/npins/sources.json
index 30a98489..2bc69d66 100644
--- a/npins/sources.json
+++ b/npins/sources.json
@@ -16,6 +16,22 @@
       "url": "https://api.github.com/repos/ryantm/agenix/tarball/0.15.0",
       "hash": "sha256-ipqShkBmHKC9ft1ZAsA6aeKps32k7+XZSPwfxeHLsAU="
     },
+    "cornelis": {
+      "type": "GitRelease",
+      "repository": {
+        "type": "GitHub",
+        "owner": "agda",
+        "repo": "cornelis"
+      },
+      "pre_releases": false,
+      "version_upper_bound": null,
+      "release_prefix": null,
+      "submodules": false,
+      "version": "v2.8.0",
+      "revision": "67137c76fe0d4a8bb899eea46afaa370993d3556",
+      "url": "https://api.github.com/repos/agda/cornelis/tarball/refs/tags/v2.8.0",
+      "hash": "sha256-dGS6De3EtTirgEMDMSjA+iBNc670W7pG4eA02Nq7Azo="
+    },
     "disko": {
       "type": "GitRelease",
       "repository": {