NixOS '> <nixpkgs> '> OpenLab Augsburg '>