aboutsummaryrefslogtreecommitdiff
path: root/calculette_aoo/lib/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2024-03-04 21:07:51 +0100
committerSébastien Dailly <sebastien@dailly.me>2024-03-04 21:07:51 +0100
commitfe13ea5ce39b24b2d49b43c384ed01b013d683db (patch)
tree92b4a01e97c22318b376c2b576ca783af4a9db9e /calculette_aoo/lib/dune
parentef9beb0814c36cda979a4ed7e9175e72e69540ac (diff)
calculette_aoo: now evaluate the exact frequency, some corrections
Diffstat (limited to 'calculette_aoo/lib/dune')
-rw-r--r--calculette_aoo/lib/dune4
1 files changed, 3 insertions, 1 deletions
diff --git a/calculette_aoo/lib/dune b/calculette_aoo/lib/dune
index 54b5a85..176147c 100644
--- a/calculette_aoo/lib/dune
+++ b/calculette_aoo/lib/dune
@@ -1,2 +1,4 @@
(library
- (name aoo))
+ (name aoo)
+ (libraries zarith)
+ )