summaryrefslogtreecommitdiff
path: root/walint.cabal
diff options
context:
space:
mode:
authorstuebinm2022-02-07 18:03:08 +0100
committerstuebinm2022-03-19 19:26:19 +0100
commitf10f80a2ae99aa9c57c4ceefa67e7e5aa3fa53c8 (patch)
tree9fec0024911b385c3a057d272f1a57c1a39bb5f8 /walint.cabal
parent24e5ccd98aa33250327d36e3859c461699026859 (diff)
server: proper job handling
Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
Diffstat (limited to 'walint.cabal')
-rw-r--r--walint.cabal2
1 files changed, 2 insertions, 0 deletions
diff --git a/walint.cabal b/walint.cabal
index 3786ce5..9f37d59 100644
--- a/walint.cabal
+++ b/walint.cabal
@@ -79,6 +79,8 @@ executable server
, filepath
, http-media
, logging-effect
+ , microlens
+ , microlens-th
, mtl
, process
, servant