From fe13ea5ce39b24b2d49b43c384ed01b013d683db Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 4 Mar 2024 21:07:51 +0100 Subject: calculette_aoo: now evaluate the exact frequency, some corrections --- calculette_aoo/lib/dune | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'calculette_aoo/lib/dune') 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) + ) -- cgit v1.2.3