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

Name                      Last modified     Size

../
0.1.0/                    03-Sep-2021 19:12 -
0.2.0-RC2/                03-Sep-2021 19:13 -
0.2.0/                    03-Sep-2021 19:12 -
0.3.0-RC1/                03-Sep-2021 19:13 -
0.3.0/                    03-Sep-2021 19:13 -
0.4.0-RC1/                26-Jul-2022 20:51 -
0.4.0/                    26-Jul-2022 20:51 -
0.4.1-RC1/                09-Nov-2022 21:23 -
0.4.1-RC2/                17-Nov-2022 21:18 -
0.4.1/                    28-Nov-2022 21:05 -
0.4.2-RC1/                05-Nov-2023 01:10 -
0.4.2/                    28-Sep-2023 01:24 -
0.4.3-RC1/                11-Jul-2024 23:28 -
maven-metadata.xml        30-Dec-2022 18:56 681 bytes
maven-metadata.xml.md5->    - -
maven-metadata.xml.sha1->   - -
maven-metadata.xml.sha256-> - -
maven-metadata.xml.sha512 03-Sep-2021 19:12 128 bytes