diff --git a/Modular_arithmetic/package_info/Modular_arithmetic/dependencies b/Modular_arithmetic/package_info/Modular_arithmetic/dependencies index 1598b3438f7..79651f388b1 100644 --- a/Modular_arithmetic/package_info/Modular_arithmetic/dependencies +++ b/Modular_arithmetic/package_info/Modular_arithmetic/dependencies @@ -1,6 +1,5 @@ Algebraic_foundations Installation -Interval_support Kernel_23 Modular_arithmetic Number_types