Richard Bornat

I apologise for earlier issue-bleating. It took me a while to realise that I was using the mingw repository all the time, and to catch up with opam pin edit....

Naive question about static linking

2

I have a project (github mdxtoc/qtpi) which uses zarith. Many thanks for zarith, by the way. I distribute my program to not very many users on macOS, Windows and Linux....