diff options
Diffstat (limited to 'dev-ros/base_local_planner/Manifest')
| -rw-r--r-- | dev-ros/base_local_planner/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ros/base_local_planner/Manifest b/dev-ros/base_local_planner/Manifest new file mode 100644 index 000000000000..2ab0c74f2366 --- /dev/null +++ b/dev-ros/base_local_planner/Manifest @@ -0,0 +1 @@ +DIST navigation-1.13.0.tar.gz 336419 SHA256 5ef288325a0de4accfb4ef0cc37d9e9c4106a05d98b0ae5757f6c4823abada97 SHA512 1b686d4d1e930901dcf899fb73c8609855c3bb6d797322f6f3b9ea7ccb349f98802870b44e0fcbee4e68abebeecbaff57d453dc790fbc908cd23b8afda22e1af WHIRLPOOL 096103d8b774205995a12d294c820187fb89302285b363f6e6b9a4bb1e30a2edf9b33a451effc00b8aeec4d8f40664f61266314d389b9c668c0d7cf2152f70dd |