Little fix

IntersectMBO · Nov 4, 2024 · df53d0d · df53d0d
1 parent 3748491
commit df53d0d
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/nix/outputs.nix b/nix/outputs.nix
@@ -30,11 +30,8 @@ in
     latex-documents = repoRoot.nix.latex-documents;
 
     hydraJobs.required = lib.iogx.mkHydraRequiredJob { };
-
-  }
-  {
-    packages.agda = repoRoot.nix.agda;
   }
+
   {
     packages.plutus-metatheory-site = repoRoot.nix.plutus-metatheory-site;
     packages.pre-commit-check = ghc96.pre-commit-check;