diff --git a/src/app/cli/src/cli_entrypoint/dune b/src/app/cli/src/cli_entrypoint/dune
index a0b3a706c33..7315fbe4bf7 100644
--- a/src/app/cli/src/cli_entrypoint/dune
+++ b/src/app/cli/src/cli_entrypoint/dune
@@ -63,7 +63,6 @@
    blockchain_snark
    snarky.backendless
    o1trace
-   mina_numbers
  )
  (preprocessor_deps ../../../../config.mlh)
  (instrumentation (backend bisect_ppx))
diff --git a/src/config/integration_tests_slot_tx_end.mlh b/src/config/integration_tests_slot_tx_end.mlh
deleted file mode 100644
index 433fba72802..00000000000
--- a/src/config/integration_tests_slot_tx_end.mlh
+++ /dev/null
@@ -1,5 +0,0 @@
-(* same as integration_tests *)
-[%%import "/src/config/integration_tests.mlh"]
-
-[%%define slot_tx_end 10]
-[%%define slot_chain_end 15]
diff --git a/src/lib/mina_intf/dune b/src/lib/mina_intf/dune
index eb8d3399c24..b8e732c984e 100644
--- a/src/lib/mina_intf/dune
+++ b/src/lib/mina_intf/dune
@@ -25,7 +25,6 @@
    block_time
    verifier
    rose_tree
-   mina_numbers
    )
  (instrumentation (backend bisect_ppx))
  (preprocess (pps ppx_jane ppx_version ppx_deriving.std ppx_deriving_yojson)))