diff options
Diffstat (limited to 'blacklist/i486/ghc/tamarin-prover')
-rw-r--r-- | blacklist/i486/ghc/tamarin-prover | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/blacklist/i486/ghc/tamarin-prover b/blacklist/i486/ghc/tamarin-prover new file mode 100644 index 00000000..640ce0cc --- /dev/null +++ b/blacklist/i486/ghc/tamarin-prover @@ -0,0 +1 @@ +ghc needs to be bootstrapped first - fun, fun, fun! |