Skip to content

Commit

Permalink
souffle 2.4.1
Browse files Browse the repository at this point in the history
  • Loading branch information
chenrui333 authored and cho-m committed Nov 30, 2023
1 parent d64c4f6 commit aa9e32e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions Formula/s/souffle.rb
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
class Souffle < Formula
desc "Logic Defined Static Analysis"
homepage "https://souffle-lang.github.io"
url "https://github.com/souffle-lang/souffle/archive/refs/tags/2.4.tar.gz"
sha256 "951f12272023dd3a1b398318ab24eb567bebad1d5f5b623e89c088e1418836af"
url "https://github.com/souffle-lang/souffle/archive/refs/tags/2.4.1.tar.gz"
sha256 "08d9b19cb4a8f570ac75dea73016b6a326d87ac28fccd4afeba217ace2071587"
license "UPL-1.0"

bottle do
Expand Down

0 comments on commit aa9e32e

Please sign in to comment.