arb icon indicating copy to clipboard operation
arb copied to clipboard
verified publisher icon flintlib

Revise configure file

Open albinahlback opened this issue 3 years ago • 0 comments

I was thinking of doing something similar to https://github.com/wbhart/flint2/pull/1068, perhaps with some modifications. Will open a draft PR when I get started, but I will wait for the PR in FLINT to get merged before changing it in Arb.

albinahlback avatar Feb 26 '22 01:02 albinahlback