aboutsummaryrefslogtreecommitdiff
path: root/src/dune
diff options
context:
space:
mode:
authorAlban Gruin2020-09-12 14:00:54 +0200
committerAlban Gruin2020-09-12 14:00:54 +0200
commit31fa3ca1b6511b912beea7cd658ffe5a31048a6b (patch)
tree6b9bafdad331c5ed95905510a133f5ad9b95592b /src/dune
parent216d0af10e49bd74a66aaad34475c5ef525e09b7 (diff)
course: use Astring to split strings and to check for prefixes
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
Diffstat (limited to 'src/dune')
-rw-r--r--src/dune3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dune b/src/dune
index e87f710..1a1135a 100644
--- a/src/dune
+++ b/src/dune
@@ -1,6 +1,7 @@
(executable
(name ucs)
- (libraries calendar
+ (libraries astring
+ calendar
lwt.unix
cohttp-lwt-unix
ezjsonm