After CubeMX griped that my software was too old, I tried to upgrade from the New Libraries Manager, but there was an error downloading the file. I fetched the file manually, then tried installing using the New Libraries Manager "local" function. I get a "Problem during unzip of file", though the file unzips fine under 7Zip.
Can anybody provide an alternate method of installing this library? This is preventing me from even _starting_ a project.