wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

idris 0.9.19.1

Browse source 
Update Idris to 0.9.19.1

Closes Homebrew/homebrew#44827.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
This commit is contained in:
Erlend Hamberg 2015-10-11 13:09:55 +02:00 committed by Dominyk Tiller
parent fab3236473
commit d18f4e068b
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Formula/idris.rb
View file

@ -5,8 +5,8 @@ class Idris < Formula
desc "Pure functional programming language with dependent types"
homepage "http://www.idris-lang.org"
url "https://github.com/idris-lang/Idris-dev/archive/v0.9.19.tar.gz"
sha256 "c9f73dcc61a8e24c56a13cf4397ea76ff1f0bf3d0d1004e92f972872aa73f1fd"
url "https://github.com/idris-lang/Idris-dev/archive/v0.9.19.1.tar.gz"
sha256 "af873689e12a91acd9ca8042a810c0421e40374dfd2814ceeb0c385d682ec2b6"
head "https://github.com/idris-lang/Idris-dev.git"
bottle do