Rocq-prover.org Welcome to a World of Rocq

% This is the RIPE Database query service.
% The objects are in RPSL format.
%
% The RIPE Database is subject to Terms and Conditions.
% See http://www.ripe.net/db/support/db-terms-conditions.pdf

% Note: this output has been filtered.
% To receive output for a database update, use the "-B" flag.

% Information related to 'AS1935 - AS1955'

as-block: AS1935 - AS1955
descr: RIPE NCC ASN block
remarks: These AS Numbers are assigned to network operators in the RIPE NCC service region.
mnt-by: RIPE-NCC-HM-MNT
created: 2002-08-22T14:58:28Z
last-modified: 2014-02-24T13:15:15Z
source: RIPE

% Information related to 'AS1938'

% Abuse contact for 'AS1938' is 'certsvp@renater.fr'

aut-num: AS1938
as-name: FR-RENATER-IRISA
descr: Irisa/Inria Rennes
remarks: BEGIN IPv4 unicast routing policy
import: from AS20603 action pref=2; accept ANY
export: to AS20603 announce AS1938
remarks: END IPv4 unicast routing policy
remarks: BEGIN IPv4 multicast routing policy
import: from AS2200 accept ANY
export: to AS2200 announce AS1938
remarks: END IPv4 multicast routing policy
remarks: BEGIN IPv6 routing policy
import: from AS2200 action pref=1; accept ANY
import: from AS20603 action pref=2; accept ANY
export: to AS2200 announce AS1938
export: to AS20603 announce AS1938
remarks: END IPv6 routing policy
org: ORG-RA8-RIPE
admin-c: GR1378-RIPE
admin-c: PB3122-RIPE
tech-c: MC4360-RIPE
tech-c: AL2341-RIPE
status: LEGACY
mnt-by: RENATER-MNT
remarks: changed: rensvp@renater.fr 19991014
remarks: changed: er-transfer@ripe.net 20020919
remarks: changed: rensvp@renater.fr 20150622
remarks: changed: rensvp@renater.fr 20171114
created: 2002-09-19T15:18:27Z
last-modified: 2017-11-14T11:41:10Z
source: RIPE

organisation: ORG-RA8-RIPE
org-name: Renater
org-type: LIR
address: 23-25, rue Daviel
address: 75013
address: Paris
address: FRANCE
phone: +33153942030
fax-no: +33153942031
admin-c: PS19314-RIPE
admin-c: MR17722-RIPE
admin-c: GRSO1-RIPE
admin-c: CT1053-RIPE
admin-c: LG4829-RIPE
admin-c: PD6398-RIPE
admin-c: FL842-RIPE
admin-c: YB549-RIPE
abuse-c: RA6839-RIPE
mnt-ref: RIPE-NCC-HM-MNT
mnt-ref: RENATER-MNT
mnt-by: RIPE-NCC-HM-MNT
mnt-by: RENATER-MNT
created: 2004-04-17T11:23:28Z
last-modified: 2016-05-27T09:36:30Z
source: RIPE # Filtered

role: GIP RENATER
address: GIP RENATER
address: 23-25 Rue Daviel
address: 75013 PARIS
address: FRANCE
phone: +33 1 53 94 20 30
fax-no: +33 1 53 94 20 31
abuse-mailbox: CertSVP@Renater.fr
remarks: ---------------------------------------------------------------
remarks: Information: http://www.renater.fr/
remarks: ---------------------------------------------------------------
remarks: IRT-Object: IRT-CERT-Renater
remarks: ---------------------------------------------------------------
remarks: Network Operations Center (24/7/365):
remarks: noc-renater@noc.renater.fr
remarks: 0800 77 47 95 (toll free)
remarks: +33 1 78 41 05 51
remarks: ---------------------------------------------------------------
remarks: Peering requests: peering@renater.fr
remarks: ---------------------------------------------------------------
remarks: Customers technical support: support@renater.fr
remarks: ---------------------------------------------------------------
admin-c: PD6398-RIPE
tech-c: LG4829-RIPE
tech-c: MR17722-RIPE
tech-c: PS19314-RIPE
tech-c: FL842-RIPE
tech-c: CT1053-RIPE
tech-c: YB549-RIPE
tech-c: GRSO1-RIPE
nic-hdl: GR1378-RIPE
mnt-by: RENATER-MNT
remarks: changed: RenSVP@Renater.fr 20140619
remarks: changed: rensvp@renater.fr 20161102
created: 2002-08-08T17:14:15Z
last-modified: 2016-11-02T10:41:11Z
source: RIPE # Filtered

person: Arnaud LAURIOU
address: IRISA/INRIA-Rennes
address: Campus de beaulieu F-35042 Rennes CEDEX, France
phone: +33 2 99 84 75 91
fax-no: +33 2 99 84 71 71
nic-hdl: AL2341-RIPE
mnt-by: RENATER-MNT
remarks: changed: rensvp@renater.fr 20080108
created: 2008-01-08T15:07:19Z
last-modified: 2015-08-07T13:55:50Z
source: RIPE # Filtered

person: Mylene CREPIN
address: Inria Rennes - Bretagne Atlantique
address: Campus de beaulieu F-35042 Rennes CEDEX, France
phone: +33 2 99 84 71 00
fax-no: +33 2 99 84 71 71
nic-hdl: MC4360-RIPE
mnt-by: RENATER-MNT
remarks: changed: rensvp@renater.fr 20080108
remarks: changed: rensvp@renater.fr 20141215
created: 2008-01-08T15:07:19Z
last-modified: 2015-08-07T14:15:25Z
source: RIPE # Filtered

person: Patrick BOUTHEMY
address: IRISA/INRIA-Rennes
address: Campus de beaulieu F-35042 Rennes CEDEX, France
phone: +33 2 99 84 71 00
fax-no: +33 2 99 84 71 71
nic-hdl: PB3122-RIPE
mnt-by: RENATER-MNT
remarks: changed: rensvp@renater.fr 20080108
created: 2008-01-08T15:07:18Z
last-modified: 2015-08-07T14:26:17Z
source: RIPE # Filtered

% This query was served by the RIPE Database Query Service version 1.92.4 (ANGUS)

Domain Name: rocq-prover.org
Registry Domain ID: 8de07424ecea4d9fbe694183a8666214-LROR
Registrar WHOIS Server: http://whois.safebrands.com
Registrar URL: http://www.safebrands.fr
Updated Date: 2025-01-29T14:48:33Z
Creation Date: 2024-03-06T15:45:09Z
Registry Expiry Date: 2026-03-06T15:45:09Z
Registrar: SafeBrands SAS
Registrar IANA ID: 1290
Registrar Abuse Contact Email: legal@safebrands.com
Registrar Abuse Contact Phone: +33.488662213
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registry Registrant ID: REDACTED FOR PRIVACY
Registrant Name: REDACTED FOR PRIVACY
Registrant Organization: INRIA
Registrant Street: REDACTED FOR PRIVACY
Registrant City: REDACTED FOR PRIVACY
Registrant State/Province:
Registrant Postal Code: REDACTED FOR PRIVACY
Registrant Country: FR
Registrant Phone: REDACTED FOR PRIVACY
Registrant Phone Ext: REDACTED FOR PRIVACY
Registrant Fax: REDACTED FOR PRIVACY
Registrant Fax Ext: REDACTED FOR PRIVACY
Registrant Email: Please query the RDDS service of the Registrar of Record identified in this output for information on how to contact the Registrant, Admin, or Tech contact of the queried domain name.
Registry Admin ID: REDACTED FOR PRIVACY
Admin Name: REDACTED FOR PRIVACY
Admin Organization: REDACTED FOR PRIVACY
Admin Street: REDACTED FOR PRIVACY
Admin City: REDACTED FOR PRIVACY
Admin State/Province: REDACTED FOR PRIVACY
Admin Postal Code: REDACTED FOR PRIVACY
Admin Country: REDACTED FOR PRIVACY
Admin Phone: REDACTED FOR PRIVACY
Admin Phone Ext: REDACTED FOR PRIVACY
Admin Fax: REDACTED FOR PRIVACY
Admin Fax Ext: REDACTED FOR PRIVACY
Admin Email: Please query the RDDS service of the Registrar of Record identified in this output for information on how to contact the Registrant, Admin, or Tech contact of the queried domain name.
Registry Tech ID: REDACTED FOR PRIVACY
Tech Name: REDACTED FOR PRIVACY
Tech Organization: REDACTED FOR PRIVACY
Tech Street: REDACTED FOR PRIVACY
Tech City: REDACTED FOR PRIVACY
Tech State/Province: REDACTED FOR PRIVACY
Tech Postal Code: REDACTED FOR PRIVACY
Tech Country: REDACTED FOR PRIVACY
Tech Phone: REDACTED FOR PRIVACY
Tech Phone Ext: REDACTED FOR PRIVACY
Tech Fax: REDACTED FOR PRIVACY
Tech Fax Ext: REDACTED FOR PRIVACY
Tech Email: Please query the RDDS service of the Registrar of Record identified in this output for information on how to contact the Registrant, Admin, or Tech contact of the queried domain name.
Name Server: ns4.safebrands.org
Name Server: ns1.safebrands.fr
Name Server: ns2.safebrands.eu
Name Server: ns3.safebrands.com
Name Server: ns5.safebrands.tech
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/
>>> Last update of WHOIS database: 2025-03-18T01:48:42Z