| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| vavr-match-0.10.1-sources.jar | Mon Jul 22 20:30:33 EDT 2019 | 2220 | |
| vavr-match-0.10.1-sources.jar.sha1 | Mon Jul 22 20:30:33 EDT 2019 | 40 | |
| vavr-match-0.10.1.jar | Mon Jul 22 20:30:30 EDT 2019 | 3131 | |
| vavr-match-0.10.1.jar.sha1 | Mon Jul 22 20:30:30 EDT 2019 | 40 | |
| vavr-match-0.10.1.pom | Mon Jul 22 20:30:31 EDT 2019 | 1904 | |
| vavr-match-0.10.1.pom.sha1 | Mon Jul 22 20:30:31 EDT 2019 | 40 |