diff options
Diffstat (limited to 'ports/ompl/CONTROL')
| -rw-r--r-- | ports/ompl/CONTROL | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/ompl/CONTROL b/ports/ompl/CONTROL index 97867f6c3..8a60f34cd 100644 --- a/ports/ompl/CONTROL +++ b/ports/ompl/CONTROL @@ -1,5 +1,5 @@ Source: ompl
-Version: 1.4.2-3
+Version: 1.4.2-4
Homepage: https://bitbucket.org/ompl
Description: The Open Motion Planning Library, consists of many state-of-the-art sampling-based motion planning algorithms
Build-Depends: boost-dynamic-bitset, boost-filesystem, boost-graph, boost-odeint, boost-program-options, boost-serialization, boost-system, boost-test, boost-ublas, boost-timer, eigen3
|