diff --git a/flake-registry.json b/flake-registry.json
index 69817d2..9b81251 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",