diff --git a/leanpkg.toml b/leanpkg.toml
index 8258331..ae0fbd8 100644
--- a/leanpkg.toml
+++ b/leanpkg.toml
@@ -5,4 +5,4 @@ lean_version = "leanprover-community/lean:3.50.3"
 path = "src"
 
 [dependencies]
-mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "5aa3c1de9f3c642eac76e11071c852766f220fd0"}
+mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "5ec62c8106221a3f9160e4e4fcc3eed79fe213e9"}
diff --git a/src/exercises_sources/tuesday/numbers.lean b/src/exercises_sources/tuesday/numbers.lean
index ca6e00f..4b9c066 100644
--- a/src/exercises_sources/tuesday/numbers.lean
+++ b/src/exercises_sources/tuesday/numbers.lean
@@ -1,7 +1,7 @@
 import tactic
 import data.real.basic
 import data.int.gcd
-import number_theory.padics
+import number_theory.padics.padic_numbers
 import data.nat.prime_norm_num
 
 /-!