Our great sponsors
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
My wild guess: AdaCore is doing again something with the page. From time to time, weird things happens to www.adacore.com, like it showing old version of page, etc. I can only suggest waiting a moment (like a long moment :) ). Probably until Tuesday everything should back to normal. If not, then at least will be some statement from AdaCore.
One or two of the AdaCore Github sources contain an fsf branch, but not a lot of clue as to the right commit in the GCC mirror at Github.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.