"README.md" did not exist on "ee618ea83ac2b24ee5859d354cfa00a11c1257a7"
first draft of README
Compare changes
+ 64
− 38
@@ -20,40 +20,59 @@ Quick start
@@ -65,39 +84,38 @@ Package sets and toolchains
@@ -107,10 +125,10 @@ At the moment (June 2023), there is only one release (that is ``dev-23a``).
@@ -127,11 +145,19 @@ Prerequisites