From 290209ed49c666ac07c8a75692a7446c1ba64f48 Mon Sep 17 00:00:00 2001 From: Francesco Gazzetta Date: Mon, 24 Jul 2023 16:54:46 +0200 Subject: [PATCH] Update deps --- gemini-textboard.cabal | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/gemini-textboard.cabal b/gemini-textboard.cabal index 34565bd..e6fc39c 100644 --- a/gemini-textboard.cabal +++ b/gemini-textboard.cabal @@ -21,7 +21,12 @@ source-repository head executable gemini-textboard main-is: Main.hs other-extensions: OverloadedStrings - build-depends: base ^>=4.12.0.0 || ^>=4.13.0.0 || ^>=4.14.0.0 + build-depends: base ^>=4.12 + || ^>=4.13 + || ^>=4.14 + || ^>=4.15 + || ^>=4.16 + || ^>=4.17 , gemini-server ^>=0.3.0.0 , gemini-router ^>=0.1.1.0 , language-gemini ^>=0.1.0.0 @@ -29,7 +34,7 @@ executable gemini-textboard , cache ^>=0.1.3.0 , sqlite-simple ^>=0.4.18.0 , clock ^>=0.8 - , text ^>=1.2.3.2 + , text ^>=1.2.3.2 || ^>=2.0 , time ^>=1.9.3 || ^>=1.10 , network-uri ^>=2.6.3.0 || ^>=2.7.0.0 , transformers ^>=0.5.6.2 -- 2.45.2