chore: bump agda (the1lab#475)

While working on elementary topoi, I got so mad that a module felt
slower than it should, that I went to fix the compiler.

Author: plt-amy

.github/workflows/build.yml

@@ -59,6 +59,7 @@ jobs:
           NIX_BUILD_SHELL: bash
           build_command: |
             set -eu
+            agda --setup
             1lab-shake -j all
             eval "$installPhase"
 

default.nix

@@ -45,18 +45,16 @@ let
 
   deps = with pkgs; [
     # For driving the compilation:
-    shakefile
+    shakefile our-ghc
 
     # For building the text and maths:
     gitMinimal nodePackages.sass
 
     # For building diagrams:
     poppler_utils our-texlive
   ] ++ (if interactive then [
-    our-ghc
     sort-imports
   ] else [
-    labHaskellPackages.Agda.data
     labHaskellPackages.pandoc.data
   ]);
 in

support/nix/dep/Agda/github.json

@@ -3,6 +3,6 @@
   "repo": "agda",
   "branch": "master",
   "private": false,
-  "rev": "0f79dcc236242f7f1682aad0ca30070b15ed20d5",
-  "sha256": "1yq0wg44rbwk3akinh0j1bmv95mdcqy3qnmrak46zavyc1dslwp9"
+  "rev": "f9f2714a214543269e2e6e6b25e067f210261654",
+  "sha256": "121sysbmgf606yl79vizxn5cbfm0vbzcixj0861xx2r75ii48b2k"
 }