hcoop: update minsky ip again

[hcoop/domtool2.git] / lib / hcoop.dtl

diff --git a/lib/hcoop.dtl b/lib/hcoop.dtl
index d06cb60..f51d173 100644 (file)
--- a/lib/hcoop.dtl
+++ b/lib/hcoop.dtl
@@ -25,6 +25,7 @@ val fritz_ip : (ip) = "69.90.123.75";
 
 (* Linode *)
 val outpost_ip : (ip) = "151.236.216.192";
+val outpost_ipv6 : (ipv6) = "2a01:7e00::f03c:91ff:fe70:7c62";
 
 (* Digital Ocean *)
 val gibran_ip : (ip) = "159.203.101.102";
@@ -35,9 +36,9 @@ 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) = "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) = "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";