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

Name                       Last modified      Size

../
0.1.0/                      31-Aug-2024 14:44    -
0.1.1-RC1/                  09-Jul-2024 05:20    -
0.2.0/                      06-Jul-2024 11:39    -
0.2.0-RC2/                  20-Jul-2024 16:28    -
0.3.0/                      09-Jul-2024 19:47    -
0.3.0-RC1/                  29-Jul-2024 15:31    -
0.4.0/                      12-Jul-2024 08:30    -
0.4.0-RC1/                  02-May-2025 19:14    -
0.4.1/                      07-Sep-2024 12:27    -
0.4.1-RC1/                  07-Aug-2024 05:09    -
0.4.1-RC2/                  06-Aug-2024 01:27    -
0.4.2/                      21-Sep-2024 16:53    -
0.4.2-RC1/                  29-Jul-2024 14:05    -
0.4.3/                      17-Nov-2025 17:50    -
0.4.3-RC1/                  17-Nov-2025 16:22    -
0.4.3-RC2/                  17-Nov-2025 16:23    -
maven-metadata.xml          11-Jun-2025 19:30  835 bytes
maven-metadata.xml.sha512   11-Jun-2025 19:30  128 bytes