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

idris 0.99

Browse source 
Closes #7731.

Signed-off-by: William Woodruff <william@tuffbizz.com>
This commit is contained in:
Termina1 2016-12-10 00:17:45 +03:00 committed by William Woodruff
parent 817c63a321
commit 43b646fbca
No known key found for this signature in database
GPG key ID: 85AE00C504833B3C
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.12.3.tar.gz"
sha256 "c6f410cddddbc53c4779d3612be40ef4e4f1f11ce8083a811825763daf30ee4d"
url "https://github.com/idris-lang/Idris-dev/archive/v0.99.tar.gz"
sha256 "bc5b497807dacca741b1ab971c145f705230bb4430961166f54dd46c4249e6af"
head "https://github.com/idris-lang/Idris-dev.git"
bottle do