We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent efced04 commit ed81b6fCopy full SHA for ed81b6f
Formula/s/spot.rb
@@ -1,8 +1,8 @@
1
class Spot < Formula
2
desc "Platform for LTL and ω-automata manipulation"
3
homepage "https://spot.lre.epita.fr"
4
- url "https://www.lrde.epita.fr/dload/spot/spot-2.13.2.tar.gz"
5
- sha256 "a412b3bbaef950215a2f71870ee24f01d722338b657cad9839f39acff1841011"
+ url "https://www.lrde.epita.fr/dload/spot/spot-2.14.tar.gz"
+ sha256 "cc267c96c96a40474669704114d02fb132ab30e8fa0ebca1a93f33e9d116024a"
6
license "GPL-3.0-or-later"
7
8
livecheck do
0 commit comments