wiro.world / dotfiles
yep, more dotfiles
2
fork

Configure Feed

Select the types of activity you want to include in your feed.

desktop: add gurobi

wiro.world 4272a187 d8cc4206

verified
+3
+1
home-manager/profiles/desktop.nix
··· 65 65 packages = with pkgs; [ 66 66 # Unfree 67 67 aseprite 68 + gurobi 68 69 ida-free 69 70 jetbrains-toolbox 70 71 spotify
+2
lib/unfree.nix
··· 11 11 12 12 # Home Manager 13 13 "aseprite" 14 + "gurobi" 15 + "gurobipy" 14 16 "ida-free" 15 17 "jetbrains-toolbox" 16 18 "spotify"