On Wednesday, 31 January 2018 at 05:44:44 UTC, Tony wrote: > which Ubuntu package would I need to install to get it, or > should it be there now? Or do I need a newer version of GDC?