Install import lib in windows and fix osx so versioning

flintlib / arb

Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead

http://arblib.org/

GNU Lesser General Public License v2.1

455 stars 137 forks source link

Open isuruf opened 4 years ago

isuruf commented 4 years ago

cc @mkoeppe

fredrik-johansson commented 3 years ago

Status of this?

isuruf commented 3 years ago

Ready for review

dimpase commented 3 years ago

Ping?