diff options
Diffstat (limited to 'Library/Formula/polyml.rb')
| -rw-r--r-- | Library/Formula/polyml.rb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Library/Formula/polyml.rb b/Library/Formula/polyml.rb index 964882b3d..527131698 100644 --- a/Library/Formula/polyml.rb +++ b/Library/Formula/polyml.rb @@ -1,9 +1,9 @@ -require 'formula' +require "formula" class Polyml < Formula - homepage 'http://www.polyml.org' - url 'https://downloads.sourceforge.net/project/polyml/polyml/5.5.1/polyml.5.5.1.tar.gz' - sha1 'f5a0d289eb0a891af5ac6e897ccc7718ccf32d89' + homepage "http://www.polyml.org" + url "https://downloads.sourceforge.net/project/polyml/polyml/5.5.2/polyml.5.5.2.tar.gz" + sha1 "8926046162c073d01c1b3bcfc744c63adfafc0d2" def install system "./configure", "--disable-dependency-tracking", "--disable-debug", |