[dune] Minor tweak of dependencies.

`clib` doesn't need `dynlink`, but `lib` does, similarly for
`threads`, `num`...

We align Dune and META deps.

1 files changed, 1 insertions, 1 deletions

diff --git a/clib/dune b/clib/dune
index 689a955ab7..10c75d6aa2 100644
--- a/clib/dune
+++ b/clib/dune
@@ -4,5 +4,5 @@
  (public_name coq.clib)
  (wrapped false)
  (modules_without_implementation cSig)
- (libraries threads str unix dynlink))
+ (libraries str unix threads))