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 8a0c763 commit f0b224cCopy full SHA for f0b224c
1 file changed
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.14.5.tar.gz"
5
- sha256 "8703d33426eea50a8e3b7f4b984c05b8058cbff054b260863a1688980d8b8d19"
+ url "https://www.lrde.epita.fr/dload/spot/spot-2.15.1.tar.gz"
+ sha256 "65013a2edf3f314854d7619888145f52c8dd36bfd27894d9db9b272d9a16ce4b"
6
license "GPL-3.0-or-later"
7
8
livecheck do
0 commit comments