| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| maven-metadata.xml | Mon Dec 03 14:32:27 CST 2018 | 994 | |
| maven-metadata.xml.md5 | Tue Jun 17 20:34:37 CST 2025 | 33 | |
| maven-metadata.xml.sha1 | Tue Jun 17 20:34:37 CST 2025 | 41 | |
| odoc-core-1.0-20181203.063708-23-sources.jar | Mon Dec 03 14:32:27 CST 2018 | 56582 | |
| odoc-core-1.0-20181203.063708-23.jar | Mon Dec 03 14:32:26 CST 2018 | 96010 | |
| odoc-core-1.0-20181203.063708-23.pom | Mon Dec 03 14:32:26 CST 2018 | 3142 |