From 2500f56363440d48530c84084046b18d0980a64b Mon Sep 17 00:00:00 2001 From: Laine Taffin Altman Date: Fri, 23 Feb 2024 13:10:44 -0800 Subject: [PATCH] agda 2.6.4.2 Also bumps the cubical library. --- Formula/a/agda.rb | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/Formula/a/agda.rb b/Formula/a/agda.rb index 04e79a27dd3a8e..f4775bda1d52f0 100644 --- a/Formula/a/agda.rb +++ b/Formula/a/agda.rb @@ -2,11 +2,11 @@ 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" @@ -14,8 +14,8 @@ class Agda < Formula 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