Index of maven-proxy/de/unruh/scala-isabelle_2.12

Name                       Last modified      Size

../
0.1.0/                      12-Oct-2024 06:08    -
0.2.0/                      17-Nov-2025 16:28    -
0.2.0-RC2/                  07-Oct-2024 05:24    -
0.3.0/                      22-Sep-2024 23:13    -
0.3.0-RC1/                  15-Oct-2024 14:07    -
0.4.0/                      26-Feb-2025 14:02    -
0.4.0-RC1/                  27-Jan-2025 22:16    -
0.4.1/                      03-Oct-2024 12:05    -
0.4.1-RC1/                  11-Dec-2024 06:21    -
0.4.1-RC2/                  04-Jan-2025 22:58    -
0.4.2/                      28-Oct-2024 06:27    -
0.4.2-RC1/                  25-Aug-2024 15:46    -
0.4.3/                      17-Nov-2025 22:14    -
0.4.3-RC1/                  22-Oct-2024 21:01    -
0.4.3-RC2/                  22-Nov-2025 05:59    -
maven-metadata.xml          11-Jun-2025 19:30  800 bytes
maven-metadata.xml.sha512   11-Jun-2025 19:30  128 bytes