Closed mgrojo closed 4 months ago
Tested on Ubuntu 22.04.4 LTS with packages gprbuild and gnat-12.
Output on "Intel(R) Core(TM) i5-5200U CPU @ 2.20GHz": started Completed in 0.140033713 seconds
Tested on Ubuntu 22.04.4 LTS with packages gprbuild and gnat-12.
Output on "Intel(R) Core(TM) i5-5200U CPU @ 2.20GHz": started Completed in 0.140033713 seconds