Merge branch 'main' into knaster-tarski

TOTBWF · web-flow · commit 7a32e85b01df · 2024-10-17T14:54:04.000-04:00
diff --git a/support/nix/dep/Agda/github.json b/support/nix/dep/Agda/github.json
@@ -3,6 +3,6 @@
   "repo": "agda",
   "branch": "master",
   "private": false,
-  "rev": "9e0d5a54f8b811dbccf8c42f859b44f9c34a3ee8",
-  "sha256": "1ahkbsiayfbm5kk7xmh8yjvwslrclx8nyis3jmh66nqj84dy83k3"
+  "rev": "11e54c0e0229996c22ed7b53a50694933de84b09",
+  "sha256": "12avpyxdlh7w7p9gsv5p4499c01qk3k1mklwfp8shljmb8z8cwd4"
 }

Original file line number	Diff line number	Diff line change
`@@ -3,6 +3,6 @@`
`3`	`3`	`"repo": "agda",`
`4`	`4`	`"branch": "master",`
`5`	`5`	`"private": false,`
`6`		`- "rev": "9e0d5a54f8b811dbccf8c42f859b44f9c34a3ee8",`
`7`		`- "sha256": "1ahkbsiayfbm5kk7xmh8yjvwslrclx8nyis3jmh66nqj84dy83k3"`
	`6`	`+ "rev": "11e54c0e0229996c22ed7b53a50694933de84b09",`
	`7`	`+ "sha256": "12avpyxdlh7w7p9gsv5p4499c01qk3k1mklwfp8shljmb8z8cwd4"`
`8`	`8`	`}`