From a56b9579a36d7f60b4f8d54a2ad73002a98f8751 Mon Sep 17 00:00:00 2001 From: ilovezfs Date: Tue, 25 Apr 2017 09:28:59 -0700 Subject: [PATCH] polyml 5.7 Closes #12876. Signed-off-by: ilovezfs --- Formula/polyml.rb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Formula/polyml.rb b/Formula/polyml.rb index 299c7f0588..5237c916ae 100644 --- a/Formula/polyml.rb +++ b/Formula/polyml.rb @@ -1,8 +1,8 @@ class Polyml < Formula desc "Standard ML implementation" homepage "http://www.polyml.org" - url "https://github.com/polyml/polyml/archive/v5.6.tar.gz" - sha256 "20d7b98ae56fe030c64054dbe0644e9dc02bae781caa8994184ea65a94a0a615" + url "https://github.com/polyml/polyml/archive/v5.7.tar.gz" + sha256 "19340d8e9cea15c3fd786dde27028cd2947608955a376d1317a20268c8a19279" head "https://github.com/polyml/polyml.git" bottle do