das-labor Gentoo overlay from Hackerspace Bochum https://github.com/das-labor/overlay zaolin@das-labor.org Philipp Deppenwiese kai@gnupg.org Kai Michaelis https://github.com/das-labor/overlay.git https://github.com/das-labor/overlay/commits/master.atom