diff options
| author | Adam C. Foltzer | 2015-01-15 10:13:15 -0800 |
|---|---|---|
| committer | Jack Nagel | 2015-01-20 22:13:44 -0500 |
| commit | 5e2945ad5b2d1b91a615a33ac7751da6ca6d3df7 (patch) | |
| tree | c04fca258284a5b4225c22ea696f0e8fbc5cdb98 /Library/Formula | |
| parent | 979f06a9003d16266db314826109cc2ef2a4d277 (diff) | |
| download | homebrew-5e2945ad5b2d1b91a615a33ac7751da6ca6d3df7.tar.bz2 | |
idris 0.9.16
Closes #35918.
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
Diffstat (limited to 'Library/Formula')
| -rw-r--r-- | Library/Formula/idris.rb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Library/Formula/idris.rb b/Library/Formula/idris.rb index 6370980fc..21273b97f 100644 --- a/Library/Formula/idris.rb +++ b/Library/Formula/idris.rb @@ -5,8 +5,8 @@ class Idris < Formula include Language::Haskell::Cabal homepage "http://www.idris-lang.org" - url "https://github.com/idris-lang/Idris-dev/archive/v0.9.15.1.tar.gz" - sha1 "064608a43f8544b2c15cefde9e6a22a83ebea904" + url "https://github.com/idris-lang/Idris-dev/archive/v0.9.16.tar.gz" + sha1 "01f794c4e516454b8352266c26c92549e90c708f" head "https://github.com/idris-lang/Idris-dev.git" bottle do |