Not all users require all features of the Leda/SDV stack. Some users would like to install Leda/SDV stack on an existing Linux distribution, esp. for hackathons or quick tryouts.
It would be desired to install most of the components as standalone packages.
As a first start, we can document how to install the individual components manually, as long as they are not yet in the official upstream repositories of the corresponding Linux distribution. Many components provide Debian .deb release artifacts on their GitHub page.
Not all users require all features of the Leda/SDV stack. Some users would like to install Leda/SDV stack on an existing Linux distribution, esp. for hackathons or quick tryouts.
It would be desired to install most of the components as standalone packages.
As a first start, we can document how to install the individual components manually, as long as they are not yet in the official upstream repositories of the corresponding Linux distribution. Many components provide Debian .deb release artifacts on their GitHub page.