diff options
Diffstat (limited to 'ports/octomap/CONTROL')
| -rw-r--r-- | ports/octomap/CONTROL | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/octomap/CONTROL b/ports/octomap/CONTROL index 41a21a276..1607f5140 100644 --- a/ports/octomap/CONTROL +++ b/ports/octomap/CONTROL @@ -1,4 +1,4 @@ Source: octomap -Version: 2017-03-11-8 +Version: 1.9.5 Homepage: https://octomap.github.io/ Description: An Efficient Probabilistic 3D Mapping Framework Based on Octrees |