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

../
QEMU/                                              07-Nov-2025 16:42                   -
VirtualBox/                                        07-Nov-2025 16:42                   -
co-idris_setup/                                    07-Nov-2025 16:42                   -
doc/                                               07-Nov-2025 16:42                   -
README.md                                          27-Apr-2025 12:47                 829