polyml 5.8

Closes #38297.

Signed-off-by: FX Coudert <fxcoudert@gmail.com>
This commit is contained in:
Igor Kapkov 2019-03-26 16:12:54 +11:00 committed by FX Coudert
parent 42a8f024ae
commit 1ea317ce23

View file

@ -1,8 +1,8 @@
class Polyml < Formula
desc "Standard ML implementation"
homepage "https://www.polyml.org/"
url "https://github.com/polyml/polyml/archive/v5.7.1.tar.gz"
sha256 "d18dd824b426edaed1cec71dded354b57df9ebdbd38863bc7540a60bd0667028"
url "https://github.com/polyml/polyml/archive/v5.8.tar.gz"
sha256 "6bcc2c5af91f361ef9e0bb28f39ce20171b0beae73b4db3674df6fc793cec8bf"
head "https://github.com/polyml/polyml.git"
bottle do