Index of jcenter/de/unruh/scala-isabelle_2.13

Name                       Last modified      Size

../
0.1.0/                      13-Sep-2022 07:40    -
0.1.1-RC1/                  13-Sep-2022 07:40    -
0.2.0/                      13-Sep-2022 07:40    -
0.2.0-RC2/                  13-Sep-2022 07:41    -
0.3.0/                      13-Sep-2022 07:40    -
0.3.0-RC1/                  13-Sep-2022 07:40    -
0.4.0/                      13-Sep-2022 07:41    -
0.4.0-RC1/                  13-Sep-2022 07:40    -
0.4.1/                      15-Dec-2022 19:20    -
0.4.1-RC1/                  20-Nov-2022 15:59    -
0.4.1-RC2/                  20-Nov-2022 16:00    -
maven-metadata.xml          27-Nov-2022 21:07  668 bytes
maven-metadata.xml.sha512   04-Nov-2020 22:16  128 bytes