val domtool_publish = ConfigCore.installPrefix ^ "/sbin/domtool-publish"
-val nodeIps = [("fritz", "69.90.123.75"), ("navajos", "69.90.123.70"), ("bog", "69.90.123.72"), ("mccarthy", "69.90.123.73"), ("outpost", "151.236.216.192"), ("gibran", "159.203.101.102"), ("marsh", "165.227.79.103"), ("minsky", "138.197.104.192"), ("shelob", "165.227.126.167")]
+val nodeIps = [("fritz", "69.90.123.75"), ("navajos", "69.90.123.70"), ("bog", "69.90.123.72"), ("mccarthy", "69.90.123.73"), ("outpost", "151.236.216.192"), ("gibran", "159.203.101.102"), ("marsh", "165.227.79.103"), ("minsky", "159.65.167.58"), ("shelob", "165.227.126.167")]
val dispatcherName = "fritz"
val dnsNodes_all = ["fritz", "outpost", "gibran"]
val marsh_private_ip : (ip) = "10.132.53.183";
val marsh_ipv6 : (ipv6) = "2604:a880:800:a1::8dc:4001";
-val minsky_ip : (ip) = "138.197.104.192";
-val minsky_private_ip : (ip) = "10.132.150.187";
-val minsky_ipv6 : (ipv6) = "2604:a880:800:a1::1232:e001";
+val minsky_ip : (ip) = "159.65.167.58";
+val minsky_private_ip : (ip) = "10.132.126.133";
+val minsky_ipv6 : (ipv6) = "2604:a880:800:a1::12b8:5001";
val shelob_ip : (ip) = "165.227.126.167";
val shelob_private_ip : (ip) = "10.132.10.58";