{ mx = [ "smtp.informis.land" ]; aliases = { smtp = "procul.informis.land."; imap = "procul.informis.land."; gemini = "procul.informis.land."; git = "procul.informis.land."; }; srv-records = { tcp = { ssh = [{ host = "procul.informis.land"; port = 22; }]; submission = [{ host = "procul.informis.land"; port = 587; }]; imaps = [{ host = "procul.informis.land"; port = 993; priority = 0; }]; pop3s = [{ host = "procul.informis.land"; port = 995; priority = 10; }]; http = [{ host = "procul.informis.land"; port = 80; }]; https = [{ host = "procul.informis.land"; port = 443; }]; }; }; hosts = { procul = { ipv4-address = "172.86.179.18"; }; }; }