+Installing lopsub
+~~~~~~~~~~~~~~~~~
+ git clone https://git.tuebingen.mpg.de/lopsub
+ cd lopsub && make && sudo make install
+ (see https://people.tuebingen.mpg.de/maan/lopsub/)
+
+Installing osl
+~~~~~~~~~~~~~~
+ git clone https://git.tuebingen.mpg.de/osl
+ cd osl && make && sudo make install
+ (see https://people.tuebingen.mpg.de/maan/osl/)
+
+Installing paraslash from tarball
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~