| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| DEPENDS | 42 B | 2018-Feb-01 22:00 |
| PRE_BUILD | 129 B | 2018-Nov-01 22:00 |
| HISTORY | 295 B | 2021-May-09 19:00 |
| 0001-fix-compatibility-with-ghc-8.6.1.patch | 839 B | 2018-Nov-01 22:00 |
| DETAILS | 1.1 KiB | 2018-Mar-11 01:00 |