Update from Hackage at 2019-05-17T23:26:11Z

commercialhaskell · May 17, 2019 · 5a5fa43 · 5a5fa43
1 parent b9ae348
commit 5a5fa43
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
+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