Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 52248 | logplain |
-rw-r--r-- | LICENSE | 2105 | logplain |
-rw-r--r-- | LICENSE.GPL | 35147 | logplain |
-rw-r--r-- | Makefile | 1063 | logplain |
-rw-r--r-- | README.md | 1557 | logplain |
d--------- | config | 100 | logplain |
d--------- | driver | 515 | logplain |
d--------- | ghc-config | 85 | logplain |
d--------- | mk | 77 | logplain |
d--------- | tests | 3181 | logplain |
d--------- | timeout | 307 | logplain |