[extract] install symbol maps
Fix symbol map installation:
- install symbol maps
- add documentation for dune
pps
dependencies
Fix symbol map installation:
pps
dependenciesassigned to @lcorrenson
changed the description
21-extract-install-symbol-maps
to address this issue created branch 21-extract-install-symbol-maps
to address this issue
mentioned in merge request !20 (merged)
changed the description
changed the description
mentioned in commit 0f5ce65c
closed with merge request !20 (merged)