3 ms·This is really amazing work from AdaCore, as usual!by ajxs 5y agoThis is really amazing work from AdaCore, as usual!