opam-repository/packages/conf-wxwidgets/conf-wxwidgets.3.0/ at 598efb46ec7387aed249220ca6a2bc39eb4b94e9 · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / conf-wxwidgets / conf-wxwidgets.3.0 /

at 598efb46ec7387aed249220ca6a2bc39eb4b94e9 1 file

sed-based fix: replacing os-distribution="debian" with os-family="debian" & os-distribution != "ubuntu"

6 years ago