The following commit has been merged in the master branch:
commit 4d45b317a44ca4ca8c8ed23ba57caaab4cf58d5f
Author: Anton Gladky
Date: Mon Jun 1 19:47:53 2015 +0200
Add some robotics and robotics-dev packages.
diff --git a/tasks/robotics b/tasks/robotics
index 473f2f2..6bceac8 100644
--- a/
The following commit has been merged in the master branch:
commit 5c6b313d8dba43fa0ce52fcf750026ca947f0865
Author: Ole Streicher
Date: Mon Jun 1 13:34:14 2015 +0200
Add weghtwatcher to astronomy
diff --git a/debian/changelog b/debian/changelog
index 5b55546..31820c4 100644
--- a/debian/cha