Actually, how do you do that?

It's a shame that the platform is not a 'hackage' package, otherwise I could simply install it in a sandbox...

But how can I test my app for a specific platform without reinstalling my local/global DB?

For now I'm going on the platform github repo to get the versions, I put them as lower bound and then I use Omari's sunlight.