diff --git a/Agda/preferred-versions b/Agda/preferred-versions
index 8edb42779e8..ef1123f50b5 100644
--- a/Agda/preferred-versions
+++ b/Agda/preferred-versions
@@ -1 +1 @@
-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
\ No newline at end of file
+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
\ No newline at end of file