agda 2.6.1.3

- remove patch
- update stdlib

Co-authored-by: Carlo Cabrera <30379873+carlocab@users.noreply.github.com>

Formula/agda.rb

@@ -4,12 +4,12 @@ class Agda < Formula
   license "BSD-3-Clause"
 
   stable do
-    url "https://hackage.haskell.org/package/Agda-2.6.1.2/Agda-2.6.1.2.tar.gz"
-    sha256 "08703073c4a5bce89ea64931ac891245dc42dea44b59bed837614811a213072d"
+    url "https://hackage.haskell.org/package/Agda-2.6.1.3/Agda-2.6.1.3.tar.gz"
+    sha256 "bb1bc840cee95eea291bd220ea043b60153a6f7bd8198bc53be2bf3b83c8a1e7"
 
     resource "stdlib" do
-      url "https://github.com/agda/agda-stdlib/archive/v1.4.tar.gz"
-      sha256 "ccc8666405c0f46aa3fd01565e762774518c8d1717667f728eae0cf3c33f1c63"
+      url "https://github.com/agda/agda-stdlib/archive/v1.5.tar.gz"
+      sha256 "ff486a5540dafb9cb53f989904b21ff70d4c7a226780cf330e08f4d133424c4d"
     end
   end
 
@@ -49,13 +49,6 @@ class Agda < Formula
     sha256 "3b1d3a8f93a2723b554d9f07b2cd136be1a7b2fcab1855b12b7aab5cbac8868c"
   end
 
-  # Enable build with ghc 8.10.3. Remove at version bump, but verify that it includes:
-  # https://github.com/agda/agda/commit/76278c23d447b49f59fac581ca4ac605792aabbc
-  patch do
-    url "https://github.com/agda/agda/commit/76278c23d447b49f59fac581ca4ac605792aabbc.patch?full_index=1"
-    sha256 "c045c0426b867db1dedcee9c1b7a8514967226acf33e4be3ceba98d1d876aabb"
-  end
-
   def install
     ENV["CABAL_DIR"] = prefix/"cabal"
     system "cabal", "v2-update"