Revert "Merge pull request #15595 from laMudri/agda-stdlib"

This reverts commit ce4f6c215f, reversing
changes made to 7817d0901d.

See https://github.com/NixOS/nixpkgs/pull/15595/commits/68e1419cb8eca6e306ec0a75f37621ae7aefabed#r64175487

pkgs/development/haskell-modules/hackage-packages.nix

@@ -847,22 +847,13 @@ self: {
        ];
        executableToolDepends = [ emacs ];
        postInstall = ''
-         # Separate loops to avoid internal error
-         files=($out/share/*-ghc-*/Agda-*/lib/prim/Agda/{Primitive.agda,Builtin/*.agda})
-         for f in "''${files[@]}"
-         do
-           $out/bin/agda $f
-         done
-         for f in "''${files[@]}"
-         do
-           $out/bin/agda -c --no-main $f
-         done
+         $out/bin/agda -c --no-main $(find $out/share -name Primitive.agda)
          $out/bin/agda-mode compile
        '';
        homepage = "http://wiki.portal.chalmers.se/agda/";
        description = "A dependently typed functional programming language and proof assistant";
        license = "unknown";
-       maintainers = with stdenv.lib.maintainers; [ abbradar mudri ];
+       maintainers = with stdenv.lib.maintainers; [ abbradar ];
      }) {inherit (pkgs) emacs;};
 
   "Agda-executable" = callPackage