Configuration issues with redirects across versions of thoth.inrialpes.fm may be causing access issues. The links below can provide alternative paths to reach the site:

http://thoth.inrialpes.fm https://thoth.inrialpes.fm

Or return to the current status page of thoth.inrialpes.fm.