Closed mato closed 6 years ago
As of Solo5 0.4.0, the Solo5 OPAM packages have changed names. Update to reflect the new names.
Additionally, the redundant use of "include/" when installing headers has been removed.
No functional changes.
As of Solo5 0.4.0, the Solo5 OPAM packages have changed names. Update to reflect the new names.
Additionally, the redundant use of "include/" when installing headers has been removed.
No functional changes.