| Hostname | Type | TTL | Priority | Content |
|---|---|---|---|---|
| frama-c.org | SOA | 21600 | dns13.ovh.net tech@ovh.net 2020120900 86400 3600 3600000 86400 | |
| frama-c.org | NS | 21600 | dns13.ovh.net | |
| frama-c.org | NS | 21600 | ns13.ovh.net | |
| frama-c.org | A | 21600 | 213.186.33.5 | |
| frama-c.org | MX | 21600 | 10 | mx3.mail.ovh.net |
| frama-c.org | MX | 21600 | 1 | mx4.mail.ovh.net |
| www.frama-c.org | A | 21600 | 213.186.33.5 | |
| www.frama-c.org | CNAME | 21600 | frama-c.org | |
| www.frama-c.org | MX | 21600 | 10 | mx3.mail.ovh.net |
| www.frama-c.org | MX | 21600 | 1 | mx4.mail.ovh.net |