| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| shapeless_2.10/ | Tue May 19 04:58:31 CEST 2026 | ||
| shapeless_2.11.0-M7/ | Sun May 17 14:48:07 CEST 2026 | ||
| shapeless_2.11/ | Wed May 20 00:12:30 CEST 2026 | ||
| shapeless_2.12/ | Tue May 19 19:13:10 CEST 2026 | ||
| shapeless_2.13/ | Tue May 19 15:44:20 CEST 2026 |