OPENPGPKEY records have propagated
All servers we queried returned the same DNS records.
Not the record you expected?
- Recently moved this domain to another DNS server? Check the NS records .
- Check for typos and misconfigurations.
DNS server
TTL
Time To Live
The amount of time a DNS record is cached for.
Records returned by these servers
The official source of information for this domain,
managed by the owner of pldi.net .
managed by the owner of pldi.net .
ns1.pldi.net
64.250.192.64
The official source of information for this domain,
managed by the owner of pldi.net .
managed by the owner of pldi.net .
ns2.pldi.net
64.250.192.65
South Africa
105.243.206.201
Australia
121.45.249.221
United States of America
129.153.155.81
Netherlands
152.53.60.46
Russia
155.212.145.25
Canada
176.125.239.152
India
182.156.141.236
Brazil
187.102.161.38
Ukraine
91.241.176.31
94.140.14.14
185.228.169.168
1.0.0.1
8.8.4.4
NextDNS
45.90.28.66
OpenDns
2620:119:35::35
2620:fe::fe
No OPENPGPKEY records found