Closed chdoc closed 2 years ago
The opam package for finmap introduces a dependency on bigenough, which is not actually needed to build finmap. Can we remove this dependency?
finmap
bigenough
The opam package for
finmap
introduces a dependency onbigenough
, which is not actually needed to buildfinmap
. Can we remove this dependency?