| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| jwtyped_2.11/ | Fri Jun 27 10:06:36 UTC 2025 | ||
| rediscala_2.10/ | Fri Jul 04 21:49:42 UTC 2025 | ||
| rediscala_2.11/ | Tue Aug 20 19:43:03 UTC 2019 | ||
| rediscala_2.12/ | Fri Jul 04 15:51:39 UTC 2025 | ||
| rediscala_2.13/ | Fri Jul 04 19:01:48 UTC 2025 |