From bdee2836df6e23f7b844c885f5f242941e79ccb2 Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Fri, 26 Sep 2025 16:16:27 +0100 Subject: [PATCH] Fix dependencies --- Stream_support/package_info/Stream_support/dependencies | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Stream_support/package_info/Stream_support/dependencies b/Stream_support/package_info/Stream_support/dependencies index 86fd53b13ac..ac1d4c1032f 100644 --- a/Stream_support/package_info/Stream_support/dependencies +++ b/Stream_support/package_info/Stream_support/dependencies @@ -1,7 +1,12 @@ Algebraic_foundations BGL +Cartesian_kernel Circulator +Distance_2 +Distance_3 Installation +Intersections_2 +Intersections_3 Interval_support Kernel_23 Modular_arithmetic