Odoc_driver is getting some library names wrong when run in voodoo mode #1351
Description
For example, it thinks that the [camlidl] library is named [com] - possibly because the archive is [com.cma]
{{ message }}
For example, it thinks that the [camlidl] library is named [com] - possibly because the archive is [com.cma]