diff options
Diffstat (limited to 'users/grfn/system/home/machines')
| -rw-r--r-- | users/grfn/system/home/machines/ogopogo.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/users/grfn/system/home/machines/ogopogo.nix b/users/grfn/system/home/machines/ogopogo.nix index 763efa2e308a..22ef65bb73d2 100644 --- a/users/grfn/system/home/machines/ogopogo.nix +++ b/users/grfn/system/home/machines/ogopogo.nix @@ -12,6 +12,7 @@ in ../modules/desktop.nix ../modules/development/agda.nix ../modules/development/readyset.nix + ../modules/development/ocaml.nix ] ++ (lib.optional (pathExists ../modules/private.nix) ../modules/private.nix); programs.home-manager.enable = true; |