opam-repository/packages/conf-wxwidgets/conf-wxwidgets.3.0/ at d38f51f8d3b0761a1b11d6159006dc415dcaf7b9 · 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 d38f51f8d3b0761a1b11d6159006dc415dcaf7b9 1 file

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

6 years ago