Index of /mirror/tenox/os/idris/CoIdris/VirtualBox/

../
README.md                                          27-Apr-2025 12:47                 912
co-idris_ms-dos.ova                                27-Apr-2025 12:47             7224832
filecopy.txt                                       27-Apr-2025 12:47                 453
terminals.txt                                      27-Apr-2025 12:47                1997