| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| scala-isabelle_2.13-0.4.2.jar | Thu Jan 29 17:14:08 Z 2026 | 649821 | |
| scala-isabelle_2.13-0.4.2.jar.sha1 | Thu Jan 29 17:14:16 Z 2026 | 40 | |
| scala-isabelle_2.13-0.4.2.pom | Thu Jan 29 17:10:24 Z 2026 | 4551 | |
| scala-isabelle_2.13-0.4.2.pom.sha1 | Thu Jan 29 17:10:26 Z 2026 | 40 |