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

idris 1.3.1

Browse source 
Closes #33365.

Signed-off-by: Thierry Moisan <thierry.moisan@gmail.com>
This commit is contained in:
Jonas De Vuyst 2018-10-25 20:33:03 +08:00 committed by Thierry Moisan
parent 487040932e
commit c19488f7cb
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/v1.3.0.tar.gz"
sha256 "8cce6c8bd24daf18b18f2f270354c711529bef6231b3c9016c3dcb98de6bca99"
url "https://github.com/idris-lang/Idris-dev/archive/v1.3.1.tar.gz"
sha256 "c0de229736e920a87f5d6453a9673a3dd4562e1d529ed04ddd305c6a8b5c8941"
head "https://github.com/idris-lang/Idris-dev.git"
bottle do