+val bog_ip : (ip) = "69.90.123.72";
+val mccarthy_ip : (ip) = "69.90.123.73";
+val hopper_ip : (ip) = "69.90.123.74";
+val fritz_ip : (ip) = "69.90.123.75";
+
+(* Linode *)
+val outpost_ip : (ip) = "151.236.216.192";
+
+(* 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 quag_ip : (ip) ="45.55.56.11";
+val quag_private_ip : (ip) = "10.132.134.46";
+val quag_ipv6 : (ipv6) = "2604:a880:800:a1::67a:3001";