| index : packages | |
| Archlinux32 package modifications | gitolite user |
| summaryrefslogtreecommitdiff |
| author | Erich Eckner <git@eckner.net> | 2019-08-07 09:45:11 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-08-07 09:45:11 +0200 |
| commit | d2164a5593e2c3bb27e2ca997ad35c4aa245e34b (patch) | |
| tree | 80507b93376585c1a89a5a765550913086240342 /blacklist/i486/ghc/tamarin-prover | |
| parent | 4b652b92f84f68d3751074f92de563c7dcf1ae7e (diff) | |
| -rw-r--r-- | blacklist/i486/ghc/tamarin-prover | 1 |
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! |