The url used for the mine tar ball is no longer a valid url and I cannot find any backups.
This would need to be hosted somewhere else or maybe it is time to drop the mine package manager.
It is impossible for anyone new to create an iso because they cannot download this.