_theme = pkgs.webapps.apache-theme.theme;
};
- aten.integration.enable = true;
- aten.production.enable = true;
+ isabelle.aten_integration.enable = true;
+ isabelle.aten_production.enable = true;
+ isabelle.iridologie.enable = true;
capitaines.production.enable = true;