News for hackers. Stuff that matters.
Re:DUR: The Debian User Repository by tinus_hn on Saturday June 26, 2021 @01:15PM (#27643748)
I’m not sure what the argument is here. Either the header files you have to download are big so you shouldn’t have them on your system if you don’t need them, or they’re not big so it’s not a problem to just use the apt command to download all the header packages you need to build the package you want.

There are no comments on this comment yet.