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

Name                                           Last modified      Size

../
scala-isabelle_2.12-0.4.0-RC1-javadoc.jar       18-Dec-2021 02:40  2.24 MB
scala-isabelle_2.12-0.4.0-RC1-javadoc.jar.asc   18-Dec-2021 02:40  833 bytes
scala-isabelle_2.12-0.4.0-RC1-sources.jar->         -    -
scala-isabelle_2.12-0.4.0-RC1-sources.jar.asc   18-Dec-2021 02:40  833 bytes
scala-isabelle_2.12-0.4.0-RC1.jar->                 -    -
scala-isabelle_2.12-0.4.0-RC1.jar.asc           18-Dec-2021 02:40  833 bytes
scala-isabelle_2.12-0.4.0-RC1.pom               18-Dec-2021 02:40  4.31 KB
scala-isabelle_2.12-0.4.0-RC1.pom.asc           18-Dec-2021 02:40  833 bytes