+(* Digital Ocean *)
+val gibran_ip : (ip) = "159.203.101.102";
+val gibran_private_ip : (ip) = "10.132.94.132";
+val gibran_ipv6 : (ipv6) = "2604:a880:800:a1::c6:f001";
+
+val lovelace_ip : (ip) = "68.183.58.241";
+val lovelace_private_ip : (ip) = "10.132.27.211";
+val lovelace_ipv6 : (ipv6) = "2604:a880:800:c1::c2:7001";
+
+val marsh_ip : (ip) = "165.227.79.103";
+val marsh_private_ip : (ip) = "10.132.53.183";
+val marsh_ipv6 : (ipv6) = "2604:a880:800:a1::8dc:4001";
+
+val minsky_ip : (ip) = "104.248.1.95";
+val minsky_private_ip : (ip) = "10.132.154.5";
+val minsky_ipv6 : (ipv6) = "2604:a880:800:c1::b1:5001";
+
+val shelob_ip : (ip) = "165.227.126.167";
+val shelob_private_ip : (ip) = "10.132.10.58";
+val shelob_ipv6 : (ipv6) = "2604:a880:800:a1::14a3:7001";