diff options
author | Gard Spreemann <gspr@nonempty.org> | 2019-12-18 10:11:36 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2019-12-18 10:11:36 +0100 |
commit | 01a7bae00279ce68b9c83ac8fb9b93fb392f0078 (patch) | |
tree | fe5ef3ad7c35308996ff37c2d34ecfdffeddce23 /debian | |
parent | 192ea1dfa8870b73fd44f548684d691869a23783 (diff) |
Since 1e87e95397d1d7da76818509bd1d07509b4c46d7 we expect a header-only CGAL, so bump version requirement to 5.0.
Diffstat (limited to 'debian')
-rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index 82523969..a5d21396 100644 --- a/debian/control +++ b/debian/control @@ -13,7 +13,7 @@ Build-Depends: cmake (>= 3.1), libboost-system-dev (>= 1.56), libboost-test-dev (>= 1.56), libboost-timer-dev (>= 1.56), - libcgal-dev (>> 4.11.0), + libcgal-dev (>= 5.0), libcgal-qt5-dev (>> 4.11.0), libeigen3-dev, libgmp-dev, |