ch.epfl.scala profiledb_2.12 1.2.2 1.2.2 3f7f7927 49ef8beb 6cac8b23 e1994e1e 1.0.0 1.1.0-RC1 1.1.0-RC2 1.1.0-RC3 1.1.0-RC4 1.1.0-RC5 1.1.0 1.1.1 1.1.2 1.2.0 1.2.1 1.2.2 20251213142116