about summary refs log tree commit diff
path: root/users/grfn/system/home/machines
diff options
context:
space:
mode:
Diffstat (limited to 'users/grfn/system/home/machines')
-rw-r--r--users/grfn/system/home/machines/ogopogo.nix1
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;