Name | Last Modified | Size | Description |
---|---|---|---|
Parent Directory | |||
tectonic_2.12-6.0.1.jar | Thu Dec 13 23:27:22 UTC 2018 | 84141 | |
tectonic_2.12-6.0.1.jar.sha1 | Thu Dec 13 23:27:22 UTC 2018 | 40 | |
tectonic_2.12-6.0.1.pom | Thu Dec 13 23:27:31 UTC 2018 | 1662 | |
tectonic_2.12-6.0.1.pom.sha1 | Thu Dec 13 23:27:31 UTC 2018 | 40 |