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

Name                            Last modified      Size

../
0.1.0/->                             -    -
0.2.0/->                             -    -
0.2.0-RC2/                       29-Aug-2024 19:21    -
0.3.0/->                             -    -
0.3.0-RC1/->                         -    -
0.4.0/->                             -    -
0.4.0-RC1/                       18-Oct-2024 11:03    -
0.4.1/->                             -    -
0.4.1-RC1/->                         -    -
0.4.1-RC2/->                         -    -
0.4.2/->                             -    -
0.4.2-RC1/                       18-Oct-2024 11:03    -
0.4.3-RC1/                       18-Oct-2024 11:03    -
maven-metadata.xml               10-Jul-2024 09:45  742 bytes
maven-metadata.xml.md5           10-Jul-2024 09:45  32 bytes
maven-metadata.xml.sha1          10-Jul-2024 09:45  40 bytes
maven-metadata.xml.sha256        10-Jul-2024 09:45  64 bytes
maven-metadata.xml.sha256.md5    10-Jul-2024 09:45  32 bytes
maven-metadata.xml.sha256.sha1   10-Jul-2024 09:45  40 bytes
maven-metadata.xml.sha512        10-Jul-2024 09:45  128 bytes
maven-metadata.xml.sha512.md5    10-Jul-2024 09:45  32 bytes
maven-metadata.xml.sha512.sha1   10-Jul-2024 09:45  40 bytes