From d4a6b42ad304b9fb0157c8f9e59ef8daf3e16e11 Mon Sep 17 00:00:00 2001 From: Laurent Rineau Date: Thu, 9 May 2019 16:03:02 +0200 Subject: [PATCH] Fix dependencies --- Modular_arithmetic/package_info/Modular_arithmetic/dependencies | 1 - 1 file changed, 1 deletion(-) 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