Index of /mirror/tenox/os/idris/

../
CoIdris/                                           07-Nov-2025 16:42                   -
0001-WIP-Add-a-delay-to-the-ACSI-IRQ.patch.txt     11-Nov-2025 05:33                2776
IDRIS-OS-for-Atari-ST-main.zip                     30-Dec-2025 22:34            30166950
IDRIS_S68K_1-26-83.rar                             29-Jun-2022 07:17             1040503
IDRIS_S68K_c.imd                                   23-Apr-2019 06:33              204797
IDRIS_S68K_root.imd                                23-Apr-2019 06:33              217116
Whitesmiths-Idris-OS-main.zip                      15-Oct-2025 02:33            52793912
Whitesmiths_IDRIS_Programmers_manual.pdf           02-Sep-2019 21:02             4683793
idris-load-main.zip                                31-Dec-2025 01:31               14836
idris-unpk-main.zip                                31-Dec-2025 01:32                3478
idris_st_extras.tar                                18-Oct-2025 09:38             1176576