[dependenttypes]

> which explicitly allows modification, distribution, commercial use

But does not allow Tivoization, something that the App store does. This is clearly a violation of the license.