| index : packages | |
| Archlinux32 package modifications | gitolite user |
| summaryrefslogtreecommitdiff |
| 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 | |
| parent | d2164a5593e2c3bb27e2ca997ad35c4aa245e34b (diff) | |
| -rw-r--r-- | blacklist/i486/ghc/agda-stdlib | 1 |
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! |