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

agda: fix RuboCop Layout/AlignHash.

Browse source
This commit is contained in:
Mike McQuaid 2018-11-02 17:22:32 +00:00
parent 8ad7b56fc4
commit 29c1855cbd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Formula/agda.rb
View file

@ -12,7 +12,7 @@ class Agda < Formula
resource "stdlib" do
url "https://github.com/agda/agda-stdlib.git",
:tag => "v0.17",
:tag => "v0.17",
:revision => "5819a4dd9c965296224944f05b1481805649bdc2"
end
end