diff options
Diffstat (limited to 'calculette_aoo/lib/dune')
| -rw-r--r-- | calculette_aoo/lib/dune | 4 |
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) + ) |