Look for example at guix, that bootstraps explicitly with what they call "the maxwell equations of software".

Imposing a web-based build system, into the kernel of all places, is a kick to the face to people who care about reproducibility.