agda 2.6.4.2

Also bumps the cubical library.
Homebrew · Feb 24, 2024 · 2500f56 · 2500f56
1 parent 73316b9
commit 2500f56
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/Formula/a/agda.rb b/Formula/a/agda.rb
@@ -2,20 +2,20 @@ class Agda < Formula
   desc "Dependently typed functional programming language"
   homepage "https://wiki.portal.chalmers.se/agda/"
   license "BSD-3-Clause"
-  revision 3
+  revision 4
 
   stable do
-    url "https://hackage.haskell.org/package/Agda-2.6.4.1/Agda-2.6.4.1.tar.gz"
-    sha256 "23248a9b3c50c81ea4751518a66f2a6144617b6a5a9202686b54e33bc9cbd080"
+    url "https://hackage.haskell.org/package/Agda-2.6.4.1/Agda-2.6.4.2.tar.gz"
+    sha256 "40de7f98b832e8354e1b74a2e6dddccf315c7f54db1735e6589d67ac1d5adc02"
 
     resource "stdlib" do
       url "https://github.com/agda/agda-stdlib/archive/refs/tags/v2.0.tar.gz"
       sha256 "14eecb83d62495f701e1eb03ffba59a2f767491f728a8ab8c8bb9243331399d8"
     end
 
     resource "cubical" do
-      url "https://github.com/agda/cubical/archive/refs/tags/v0.6.tar.gz"
-      sha256 "10b78aec56c4dfa24a340852153e305306e6a569c49e75d1ba7edbaaa6bba8e3"
+      url "https://github.com/agda/cubical/archive/refs/tags/v0.7.tar.gz"
+      sha256 "25a0d1a0a01ba81888a74dfe864883547dbc1b06fa89ac842db13796b7389641"
     end
 
     resource "categories" do