55c7dfade0
It's quite ridiculous that we currently require manual intervention just to have devman indexed if dev.enable == true.
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at https://nixos.org/nixos and in the manual in doc/manual.