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

idris 1.0

Browse source 
Closes #11934.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
This commit is contained in:
ilovezfs 2017-04-01 05:34:02 -07:00
parent 3905f9df49
commit 9b9d84040d
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 "https://www.idris-lang.org/"
url "https://github.com/idris-lang/Idris-dev/archive/v0.99.2.tar.gz"
sha256 "a4051d6783b15c8e25dd401f0f1984a0597db47f8373388cc04e60f76961b4eb"
url "https://github.com/idris-lang/Idris-dev/archive/v1.0.tar.gz"
sha256 "aaed0d01c0395cb7cac2562f689f8589072ad7568acaeb5e20451ffeebab963e"
head "https://github.com/idris-lang/Idris-dev.git"
bottle do