@shipp @tomodachi94 Isn't filecoin a separate project built on IPFS? I haven't used IPFS specifically, but my experience with P2P file sharing protocols is that they work just fine without money trading hands. (In fact, most of my experience with them is from before Bitcoin existed, so it's jarring to see them lumped in with cryptocurrencies.)
Someone is anyway already paying to host nix packages over (I assume) https; surely they could also pay to pin the files on IPFS.
@shipp @tomodachi94 (And by paying to pin, I mean paying the hosting costs of a server pinning the files.)