From 24a937e185e38ee3f68dab6481bfcb22d99729e8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= Date: Mon, 8 Jan 2024 15:43:00 +0100 Subject: [PATCH] add missing deps needed by transitivity --- .../package_info/Shape_regularization/dependencies | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Shape_regularization/package_info/Shape_regularization/dependencies b/Shape_regularization/package_info/Shape_regularization/dependencies index f71e038ce1f..fed80db41d6 100644 --- a/Shape_regularization/package_info/Shape_regularization/dependencies +++ b/Shape_regularization/package_info/Shape_regularization/dependencies @@ -1,10 +1,13 @@ Algebraic_foundations +Arithmetic_kernel BGL +Cartesian_kernel Circulator Distance_2 Distance_3 Filtered_kernel Hash_map +Homogeneous_kernel Installation Intersections_2 Intersections_3