| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| vavr-0.10.1.jar | Mon Jul 22 17:33:39 PDT 2019 | 897963 | |
| vavr-0.10.1.jar.md5 | Mon Jul 22 17:33:39 PDT 2019 | 32 | |
| vavr-0.10.1.jar.sha1 | Mon Jul 22 17:33:39 PDT 2019 | 40 | |
| vavr-0.10.1.pom | Mon Jul 22 17:33:40 PDT 2019 | 3372 | |
| vavr-0.10.1.pom.md5 | Mon Jul 22 17:33:40 PDT 2019 | 32 | |
| vavr-0.10.1.pom.sha1 | Mon Jul 22 17:33:40 PDT 2019 | 40 |