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

idris 0.11.2

Browse source 
Closes #1382.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
This commit is contained in:
ilovezfs 2016-05-24 03:51:38 -07:00
parent 5676d6b542
commit 74f11d52c9
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.11.tar.gz"
sha256 "759eafb5f5cb01ce891e611be49da55f56878e7ce4549c0339ae9b901eb90b5d"
url "https://github.com/idris-lang/Idris-dev/archive/v0.11.2.tar.gz"
sha256 "eddc8d8d6401d5c5743df43003a11d031be42eb6b09800dc1111606c39a3c8bc"
head "https://github.com/idris-lang/Idris-dev.git"
bottle do