BNFC <2.6.0.0 || >2.6.0.0 && <2.6.0.1 || >2.6.0.1 && <2.6.0.2 || >2.6.0.2 && <2.8.3 || >2.8.3 && <2.9.6 || >2.9.6