diff --git a/sidekick-bin.opam b/sidekick-bin.opam
index 7b22da9b..83de23dd 100644
--- a/sidekick-bin.opam
+++ b/sidekick-bin.opam
@@ -20,10 +20,6 @@ depends: [
   "menhir"
   "msat" { >= "0.8" < "0.9" }
   "ocaml" { >= "4.03" }
-  "funarith"
-]
-pin-depends: [
-  ["funarith.dev" "git+https://github.com/c-cube/funarith.git"]
 ]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/c-cube/sidekick"
diff --git a/sidekick.opam b/sidekick.opam
index 9b5050b6..bd4cf5ed 100644
--- a/sidekick.opam
+++ b/sidekick.opam
@@ -18,9 +18,6 @@ depends: [
   "ocaml" { >= "4.03" }
   "alcotest" {with-test}
 ]
-depopts: [
-  "funarith"
-]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/c-cube/sidekick"
 dev-repo: "git+https://github.com/c-cube/sidekick.git"