HTTPS clone URL
Subversion checkout URL
Please sign in to comment.
[opam remove] optional dependencies are included in the dependency graph
This resolves partially the issue #69 . In particular, it proposes everytime to remove packages that optionally depend on others (instead of recompiling).
- Loading branch information...
Showing with 14 additions and 7 deletions.