From 0327ee752809e797dd65e2c8a2c0c94b09218a40 Mon Sep 17 00:00:00 2001
From: James Clarke <jrtc27@jrtc27.com>
Date: Thu, 11 Feb 2016 14:31:26 +0000
Subject: [PATCH] polyml 5.6

Closes Homebrew/homebrew#49074.

Signed-off-by: Baptiste Fontaine <batifon@yahoo.fr>
---
 Formula/polyml.rb | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Formula/polyml.rb b/Formula/polyml.rb
index 86ccefec76..bd19f10cab 100644
--- a/Formula/polyml.rb
+++ b/Formula/polyml.rb
@@ -1,8 +1,9 @@
 class Polyml < Formula
   desc "Standard ML implementation"
   homepage "http://www.polyml.org"
-  url "https://downloads.sourceforge.net/project/polyml/polyml/5.5.2/polyml.5.5.2.tar.gz"
-  sha256 "73fd2be89f7e3ff0567e27ef525ef788775d9f963d6db54069cb34d53040a682"
+  url "https://github.com/polyml/polyml/archive/v5.6.tar.gz"
+  sha256 "20d7b98ae56fe030c64054dbe0644e9dc02bae781caa8994184ea65a94a0a615"
+  head "https://github.com/polyml/polyml.git"
 
   def install
     system "./configure", "--disable-dependency-tracking", "--disable-debug",