![[ICO]](/theme/icons/empty.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/user-home.svg){kind=icon} | Parent Directory | - | |
![[DIR]](/theme/icons/folder.svg){kind=icon} | CVS/ | 2024-10-18 18:59 | - |
| tools/ | 2024-10-18 18:59 | - |
| build-type.awk | 2023-10-26 07:07 | 620 |
![[script]](/theme/icons/text-x-script.svg){kind=icon} | check-hackage.sh | 2024-04-28 10:58 | 1.6K |
![[text]](/theme/icons/text-plain.svg){kind=icon} | DEINSTALL.in | 2024-04-28 08:55 | 1.1K |
| developer.mk | 2024-04-28 10:58 | 329 |
| disable-components.awk | 2024-05-04 11:21 | 1.2K |
| gen-setup.sh | 2022-02-07 02:39 | 599 |
| INSTALL.in | 2024-04-28 08:55 | 1.2K |
| install.sh | 2024-05-06 09:33 | 3.0K |
![[ ]](/theme/icons/text-richtext.svg){kind=icon} | README.md | 2022-02-11 05:24 | 2.9K |