NSLIST.NET - rocq-prover.rennes.inria.fr

Search for IP or hostnames:

rocq-prover.rennes.inria.fr checked at 2025-09-26T01:40:39.622Z 1068ms 22/22/22 100% R:8

`rocq-prover.rennes.inria.fr`

	A	131.254.150.100^{🇫🇷 FR-RENATER-IRISA}
			PTR	`rocq-prover.rennes.inria.fr`

	NS	`dns-ext2.inria.fr`
	NS	`dns.inria.fr`

100.150.254.131.in-addr.arpa

rocq-prover.org

rocq-prover.org

rocq-prover.rennes.inria.fr points to a single IP number: 131.254.150.100.

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

dbq