diff options
Diffstat (limited to 'ports/ompl/CONTROL')
| -rw-r--r-- | ports/ompl/CONTROL | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/ports/ompl/CONTROL b/ports/ompl/CONTROL deleted file mode 100644 index 259006c2c..000000000 --- a/ports/ompl/CONTROL +++ /dev/null @@ -1,6 +0,0 @@ -Source: ompl
-Version: 1.5.1
-Port-Version: 1
-Homepage: https://ompl.kavrakilab.org/
-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
|