diff options
-rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index a5d21396..259f4e6b 100644 --- a/debian/control +++ b/debian/control @@ -42,7 +42,7 @@ Depends: libboost-chrono-dev (>= 1.56), libboost-system-dev (>= 1.56), libboost-test-dev (>= 1.56), libboost-timer-dev (>= 1.56), - libcgal-dev (>> 4.11.0), + libcgal-dev (>= 5.0), libeigen3-dev (>= 3.1.0), libgmp-dev (>= 4.2), libtbb-dev, |