Open na4zagin3 opened 4 years ago
As dist library can be installed non-opam way, it’s not always possible to get reliable dist library version. Therefore it’s completely ignored by the current implementation.
It’d better to set library version as precise as possible.
As dist library can be installed non-opam way, it’s not always possible to get reliable dist library version. Therefore it’s completely ignored by the current implementation.
It’d better to set library version as precise as possible.