de.sciss lucre_2.13 4.0.1 4.0.1 3.13.1 3.14.0 3.15.0 3.15.1 3.15.2 3.15.3 3.16.0 3.16.1 3.16.2 3.16.3 3.16.4 3.17.0 3.17.1 3.17.2 3.17.3 3.17.4 3.17.5 3.17.6 3.17.7 4.0.0 4.0.1 20201004225500