diff options
| author | Mike McQuaid | 2015-01-25 09:56:51 +0000 |
|---|---|---|
| committer | Mike McQuaid | 2015-01-25 10:05:02 +0000 |
| commit | 283711cc28f3994d3889599167411e7fc09f5353 (patch) | |
| tree | 85d03585f2c512708b59c974cdd81c1481a4a68d /Library/Formula/patchutils.rb | |
| parent | b5a95f759eb043ad44f4461adb64b170e3151b01 (diff) | |
| download | homebrew-283711cc28f3994d3889599167411e7fc09f5353.tar.bz2 | |
agda: ghc is needed at runtime.
Diffstat (limited to 'Library/Formula/patchutils.rb')
0 files changed, 0 insertions, 0 deletions