| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| CVS/ | 2025-Oct-02 16:26:09 | - | Directory |
| tools/ | 2025-Oct-02 16:26:09 | - | Directory |
| DEINSTALL.in | 2024-Apr-28 08:55:37 | 1.1K | application/octet-stream |
| INSTALL.in | 2024-Apr-28 08:55:37 | 1.2K | application/octet-stream |
| README.md | 2022-Feb-11 05:24:06 | 2.9K | text/markdown;charset=utf-8 |
| build-type.awk | 2023-Oct-26 07:07:47 | 0.6K | application/octet-stream |
| check-hackage.sh | 2024-Apr-28 10:58:06 | 1.5K | application/x-sh |
| developer.mk | 2024-Apr-28 10:58:06 | 0.3K | application/octet-stream |
| disable-components.awk | 2024-May-04 11:21:26 | 1.2K | application/octet-stream |
| gen-setup.sh | 2022-Feb-07 02:39:41 | 0.5K | application/x-sh |
| install.sh | 2024-May-06 09:33:22 | 3.0K | application/x-sh |