From eb2b3f0338185a24f903bd43c8daf4b933d47d67 Mon Sep 17 00:00:00 2001 From: rui Date: Sun, 7 Feb 2021 16:23:07 +0000 Subject: [PATCH] agda 2.6.1.3 - remove patch - update stdlib Co-authored-by: Carlo Cabrera <30379873+carlocab@users.noreply.github.com> --- Formula/agda.rb | 15 ++++----------- 1 file changed, 4 insertions(+), 11 deletions(-) diff --git a/Formula/agda.rb b/Formula/agda.rb index ea2ed58dcfe80..3ed2451b88ecd 100644 --- a/Formula/agda.rb +++ b/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"