diff options
author | Gard Spreemann <gspr@nonempty.org> | 2019-12-18 10:14:16 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2019-12-18 10:14:16 +0100 |
commit | 5031a8bb2704fe329661e58d22e4610d1c02f7f7 (patch) | |
tree | 91ecc16999608114deec6aab81a68aa78f5dd18a | |
parent | 01a7bae00279ce68b9c83ac8fb9b93fb392f0078 (diff) |
Bump CGAL requirement also for libgudhi-dev.
-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, |