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
Australia
115.128.155.47
United States of America
129.153.155.81
Brazil
138.94.119.26
Netherlands
153.80.240.67
Russia
155.212.145.25
India
182.156.142.48
South Africa
41.23.99.102
Canada
66.165.215.246
Ukraine
91.241.176.31
2a10:50c0::ad1:ff
2a0d:2a00:2::
1.0.0.1
2001:4860:4860::8888
NextDNS
2a07:a8c1::53:54e9
OpenDns
2620:119:53::53
2620:fe::fe
No OPENPGPKEY records found