| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| DEPENDS | 126 B | 2018-Feb-01 22:00 |
| PRE_BUILD | 129 B | 2018-Nov-02 13:00 |
| HISTORY | 297 B | 2021-May-09 19:00 |
| DETAILS | 1.0 KiB | 2018-Oct-07 13:00 |
| 0001-fix-compatibility-with-ghc-8.6.1.patch | 1.4 KiB | 2018-Nov-02 13:00 |