Lars
Lars
The support of [LaTeXStrings](https://github.com/stevengj/LaTeXStrings.jl) would be a good idea, I guess.
The filenames of the downloaded rpm packages are escaped (e.g. `noarch%2Fmingw64-libstdc%2B%2B6-8.2.0-2.1.noarch.rpm`), but the cpio files after extraction are unescaped (e.g. `mingw64-libstdc++6-8.2.0-2.1.noarch.cpio`). See #157
Anyway, the upfollowing Error I am facing is `ERROR: LoadError: Provider BinDeps.PackageManager failed to satisfy dependency libclp` This is also the case on my unix based [binder](https://mybinder.org/v2/gh/larssp/juliabinder.git/1c75f143e39e26554bb71dc66260cf10a646426c) `using Pkg; Pkg.develop("Cbc");...