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
India
103.193.74.47
South Africa
105.243.201.133
Ukraine
134.249.101.136
Brazil
144.22.131.193
Canada
149.56.96.171
United States of America
150.136.61.69
Russia
194.58.107.125
Australia
205.164.120.159
Netherlands
77.60.124.165
94.140.15.15
185.228.169.168
1.1.1.1
2001:4860:4860::8844
NextDNS
45.90.30.66
OpenDns
2620:119:53::53
2620:fe::fe
No OPENPGPKEY records found