Agda <2.5.1 || >2.5.1 && <2.5.1.1 || >2.5.1.1 && <2.5.4 || >2.5.4 && <2.5.4.1 || >2.5.4.1 && <2.6.0 || >2.6.0 && <2.6.1 || >2.6.1 && <2.6.1.1 || >2.6.1.1 && <2.6.1.2 || >2.6.1.2 && <2.6.4.2 || >2.6.4.2 && <2.7.0 || >2.7.0