Index of libs-release/de/unruh/scala-isabelle_2.13

Name                       Last modified      Size

../
0.1.0/                      20-Nov-2024 08:10    -
0.1.1-RC1/                  15-Apr-2025 05:42    -
0.2.0/                      20-Nov-2024 08:10    -
0.2.0-RC2/                  18-Apr-2025 09:37    -
0.3.0/                      20-Nov-2024 08:10    -
0.3.0-RC1/                  15-Apr-2025 05:36    -
0.4.0/                      20-Nov-2024 08:10    -
0.4.0-RC1/                  15-Apr-2025 13:01    -
0.4.1/                      20-Nov-2024 08:10    -
0.4.1-RC1/                  13-Apr-2025 20:41    -
0.4.1-RC2/                  13-Apr-2025 20:50    -
0.4.2/                      20-Nov-2024 08:10    -
0.4.2-RC1/                  17-Apr-2025 22:08    -
0.4.3-RC1/->                    -    -
maven-metadata.xml          10-Jul-2024 09:45  777 bytes
maven-metadata.xml.sha512->     -    -