The paket.dependencies page of the Paket documentation describes the purpose of the framework restriction field framework very briefly, and I still don't understand what it does.
Apparently, the specified frameworks will cause Paket to download and reference only those packages/libraries/APIs -- I'm not sure of the right terminology -- which fall within at least one of the named frameworks.
So what is the point of the TargetFramework fields of the projects, then? I had thought that that's what they were supposed to do. How does Paket's framework specification interact with the solution's projects' TargetFramework specifications?