These files are compressed in the WUX format; the user can play with CEMU. The uncompressed ISOs can be used in a real Wii U. You can use WudCompress to decompress the WUX files to ISO.
Uncompressed this format to an ISO matching the redump.org checksum.
| Filename | Type | Size |
|---|---|---|
| Mighty No. 9 (Europe) (EnJaFrDeEsItPtRu) | WUX FILE | 4.14 G |
| Mighty No. 9 (USA) (EnJaFrDeEsItPtRu) | WUX FILE | 4.06 G |