| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| scala-isabelle_2.13-0.4.3-RC2-sources.jar | Mon Jul 13 13:14:14 Z 2026 | 136166 | |
| scala-isabelle_2.13-0.4.3-RC2.pom | Thu Apr 09 15:28:18 Z 2026 | 4556 | |
| scala-isabelle_2.13-0.4.3-RC2.pom.sha1 | Tue May 19 18:18:06 Z 2026 | 40 |