base-10/Dockerfile · 6069a56eee3c291ead753f052fb665eab542069e · Ansgar Burchardt / dune-docker · GitLab

Find file Blame History Permalink

base-10: install vc-dev · 6069a56e
Ansgar Burchardt authored Oct 24, 2017
```
Reference: https://gitlab.dune-project.org/infrastructure/issues0/issues/44
```
6069a56e