From a3d17a055fe7cc038efb037be790e059f17128b6 Mon Sep 17 00:00:00 2001
From: Shea Levy <shea@shealevy.com>
Date: Fri, 13 Aug 2021 14:59:14 -0400
Subject: [PATCH] Add agda to the registry.

https://github.com/agda/agda/pull/5502 created a flake.
---
 flake-registry.json | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/flake-registry.json b/flake-registry.json
index 8101ee3..91dab3c 100644
--- a/flake-registry.json
+++ b/flake-registry.json
@@ -1,5 +1,16 @@
 {
   "flakes": [
+    {
+      "from": {
+        "id": "agda",
+        "type": "indirect"
+      },
+      "to": {
+        "owner": "agda",
+        "repo": "agda",
+        "type": "github"
+      }
+    },
     {
       "from": {
         "id": "blender-bin",