diff options
| author | Erich Eckner <git@eckner.net> | 2019-08-07 09:47:15 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-08-07 09:47:15 +0200 |
| commit | 084a16887d6e5cd40a1d4acddb38566cf21b8504 (patch) | |
| tree | 009ea8f1bf462fef431cf3813f568e3d43c0bea4 /blacklist/i486/ghc/agda-stdlib | |
| parent | d2164a5593e2c3bb27e2ca997ad35c4aa245e34b (diff) | |
| download | packages-084a16887d6e5cd40a1d4acddb38566cf21b8504.tar.xz | |
blacklisting of dependent packages on i486
Diffstat (limited to 'blacklist/i486/ghc/agda-stdlib')
| -rw-r--r-- | blacklist/i486/ghc/agda-stdlib | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/blacklist/i486/ghc/agda-stdlib b/blacklist/i486/ghc/agda-stdlib new file mode 100644 index 00000000..640ce0cc --- /dev/null +++ b/blacklist/i486/ghc/agda-stdlib @@ -0,0 +1 @@ +ghc needs to be bootstrapped first - fun, fun, fun! |