| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| PRE_BUILD | 129 B | 2018-Nov-02 13:00 |
| DEPENDS | 130 B | 2015-Aug-04 22:00 |
| HISTORY | 297 B | 2021-May-09 19:00 |
| 0001-fix-compatibility-with-ghc-8.6.1.patch | 629 B | 2018-Nov-02 13:00 |
| DETAILS | 742 B | 2018-Feb-01 22:00 |