12929bb952
moveit: updating to 0.7.13
2018-01-02 08:39:18 +01:00
c34a5e84a4
moveit: tie recipe to git revision instead of dynamicly generated tarball
...
Since Github's auto-generated tarballs aren't garanteed to be identical
over time it's better to tie the recipe to a git revision.
contributes to #552
Signed-off-by: Dmitry Rozhkov <dmitry.rozhkov@linux.intel.com>
2017-09-20 08:57:04 +03:00
1d70c411c1
moveit: updating to 0.7.12
2017-08-31 04:50:50 +02:00
5496a3e0a1
moveit: updating to 0.7.11
2017-07-03 07:11:49 +02:00
71c24b3473
moveit: updating to 0.7.9
...
Due to the update, this commit also drops the patch that has been
accepted upstream.
Signed-off-by: Lukas Bulwahn <lukas.bulwahn@gmail.com>
2017-04-14 04:21:20 +02:00
3c9a9fe2d3
moveit: tune and harmonize filename
2017-04-13 19:44:08 +02:00
Lukas Bulwahn