Closed Bronsa closed 5 years ago
Follow up to #105, now family is "arch" too instead of "archlinux" on newer systems
family
"arch"
"archlinux"
opam-depext is being intergrated to opam, you can take a look in this branch. This update has already be integrated in this branch. Thanks for the proposal!
ah great! thanks
Follow up to #105, now
family
is"arch"
too instead of"archlinux"
on newer systems