WWW.RTSAK.COM - rocq-prover.org

Search for IP or hostnames:

rocq-prover.org checked at 2025-11-03T13:35:09.791Z 703ms 97/97/97 100% R:9

`rocq-prover.org`

NS	`ns3.safebrands.com`
		A	2a04:2b00:14ee::19 ^{🇬🇧 RCODEZERO-ANYCAST-SEC1-TLD}
			PTR	`ns19.k.centralnic-dns.com`
		A	194.0.182.19^{🇩🇪 RCODEZERO-ANYCAST-SEC2}
NS	`ns2.safebrands.eu`
		A	2a04:2b00:14dd::18 ^{🇬🇧 RCODEZERO-ANYCAST-SEC1-TLD}
			PTR	`ns18.j.centralnic-dns.com`
		A	194.50.187.18^{🇩🇪 RCODEZERO-ANYCAST-SEC2}
NS	`ns1.safebrands.fr`
		A	2a04:2b00:14cc::17 ^{🇬🇧 RCODEZERO-ANYCAST-SEC1-TLD}
			PTR	`ns17.i.centralnic-dns.com`
		A	193.227.117.17^{🇩🇪 RCODEZERO-ANYCAST-SEC1-TLD}
MX	`mail.rocq-prover.org`
		A	195.64.164.240
			PTR	`basic-mail.safebrands.com`
NS	`ns4.safebrands.org`
		A	2a04:2b00:14cc::20 ^{🇬🇧 RCODEZERO-ANYCAST-SEC1-TLD}
			PTR	`ns20.i.centralnic-dns.com`
		A	193.227.117.20^{🇩🇪 RCODEZERO-ANYCAST-SEC1-TLD}
NS	`ns5.safebrands.tech`
		A	2a04:2b00:14dd::21 ^{🇬🇧 RCODEZERO-ANYCAST-SEC1-TLD}
			PTR	`ns21.j.centralnic-dns.com`
		A	194.50.187.21^{🇩🇪 RCODEZERO-ANYCAST-SEC2}
A	131.254.150.100^{🇫🇷 FR-RENATER-IRISA}
		PTR	`rocq-prover.rennes.inria.fr`

mail.rocq-prover.org

rocq-prover.org

rocq-prover.org

rocq-prover.org is the parent of mail.rocq-prover.org.

rocq-prover.org points to a single IP number: 131.254.150.100.

Other host names, for instance rocq-prover.rennes.inria.fr, share IP numbers with rocq-prover.org.

rocq-prover.org at least partially shares name servers with other domains, for instance desvac.com, fuscia.info, klorane-botanical.foundation, edenredvpay.com and morbihan.gouv.fr.

Hosts with two IP numbers:

ns3.safebrands.com points to 2a04:2b00:14ee::19 and 194.0.182.19.

ns2.safebrands.eu points to 2a04:2b00:14dd::18 and 194.50.187.18.

ns1.safebrands.fr points to 2a04:2b00:14cc::17 and 193.227.117.17.

ns4.safebrands.org points to 2a04:2b00:14cc::20 and 193.227.117.20.

ns5.safebrands.tech points to 2a04:2b00:14dd::21 and 194.50.187.21.

rocq-prover.org is handled by a single mail server, mail.rocq-prover.org.

Host name mail.rocq-prover.org points to IP address 195.64.164.240.

dbq