An error occurred while fetching folder content.
Forked from
agnumpde / dune-tectonic
Source project has a limited visibility.
Ansgar Burchardt
authored
This matches how to specify search directories for optional dependencies in DUNE's core modules.
| Name | Last commit | Last update |
|---|