1 files changed, 1 insertions, 1 deletions
diff --git a/META.coq b/META.coq
index 4e53098c7..30bfdd67a 100644
--- a/META.coq
+++ b/META.coq
@@ -20,7 +20,7 @@ package "clib" (
   version     = "8.8"
 
   directory   = "clib"
-  requires    = "str, unix, threads"
+  requires    = "num, str, unix, threads"
 
   archive(byte)    = "clib.cma"
   archive(native)  = "clib.cmxa"