From 5538543faf4b2b39de9be1e44b9678a0949444eb Mon Sep 17 00:00:00 2001 From: Laurent Rineau Date: Fri, 21 Jun 2019 11:27:02 +0200 Subject: [PATCH] Update dependencies --- Point_set_3/package_info/Point_set_3/dependencies | 1 + Polygon/package_info/Polygon/dependencies | 1 + 2 files changed, 2 insertions(+) diff --git a/Point_set_3/package_info/Point_set_3/dependencies b/Point_set_3/package_info/Point_set_3/dependencies index d5ec00a4fea..cab851ef527 100644 --- a/Point_set_3/package_info/Point_set_3/dependencies +++ b/Point_set_3/package_info/Point_set_3/dependencies @@ -1,5 +1,6 @@ Algebraic_foundations BGL +GraphicsView Installation Interval_support Kernel_23 diff --git a/Polygon/package_info/Polygon/dependencies b/Polygon/package_info/Polygon/dependencies index ad435cca369..3312eb37e46 100644 --- a/Polygon/package_info/Polygon/dependencies +++ b/Polygon/package_info/Polygon/dependencies @@ -1,5 +1,6 @@ Algebraic_foundations Circulator +GraphicsView Installation Kernel_23 Number_types