From 42dd18648ca2db42e209d81f1f800aa08e2c5a30 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Domen=20Ko=C5=BEar?= Date: Sat, 30 Dec 2023 11:39:54 +0000 Subject: [PATCH] require websocket 0.13 or greater --- websockets-simple.cabal | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/websockets-simple.cabal b/websockets-simple.cabal index 1928b20..f6497c0 100644 --- a/websockets-simple.cabal +++ b/websockets-simple.cabal @@ -18,7 +18,7 @@ common common -fwarn-unused-imports -fwarn-missing-signatures -fwarn-name-shadowing -fwarn-incomplete-patterns build-depends: base, - websockets, + websockets >= 0.13, unagi-chan, mtl, async, @@ -53,4 +53,4 @@ executable readme text, async ghc-options: -pgmL markdown-unlit - build-tool-depends: markdown-unlit:markdown-unlit \ No newline at end of file + build-tool-depends: markdown-unlit:markdown-unlit