diff options
| author | Gard Spreemann <gspreemann@gmail.com> | 2018-03-11 18:50:46 +0100 |
|---|---|---|
| committer | Gard Spreemann <gspreemann@gmail.com> | 2018-03-11 18:50:46 +0100 |
| commit | 6c421f9b5440f42caf407a790a62d24fcc456c4a (patch) | |
| tree | 28484a1fea2be9dd5f4cb342d6f2f1a77498d1f3 /debian/control | |
| parent | dd298525ee53e8b19c41e59acb557cf052b7271d (diff) | |
Bump another CGAL version requirement.
Diffstat (limited to 'debian/control')
| -rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index 482c5c90..d11d0db5 100644 --- a/debian/control +++ b/debian/control @@ -40,7 +40,7 @@ Depends: libboost-chrono-dev (>= 1.48), libboost-system-dev (>= 1.48), libboost-test-dev (>= 1.48), libboost-timer-dev (>= 1.48), - libcgal-dev (>= 4.8.1), + libcgal-dev (>> 4.11.0), libeigen3-dev (>= 3.1.0), libgmp-dev (>= 4.2), libtbb-dev, |