So I came accross a web site
https://software.intel.com/en-us/iot/hardware/sensors/tm1637-7-segment-display
And it sent me down a new rabbit hole installing upm, mraa, and an updated copy of cmake.
Feels like old times again when I had to install rpm without yum and even had to hit some dependencies elsewhere.