Allow base 4.17

This commit is contained in:
Francesco Gazzetta committed 2023-01-05 12:24:23 +01:00
1 parent ee46313617
commit 8130eefc48
1 file changed
+1
+1
View File
@@ -52,6 +52,7 @@ library
build-depends: base ^>= 4.16.1.0
|| ^>= 4.14
|| ^>= 4.15
|| ^>= 4.17
, text ^>= 1.2.5
|| ^>= 2.0
, text-short ^>= 0.1