| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| shapeless_2.10/ | Sat May 30 13:39:23 CEST 2026 | ||
| shapeless_2.11.0-M7/ | Fri May 29 13:22:01 CEST 2026 | ||
| shapeless_2.11/ | Thu Jun 04 00:02:56 CEST 2026 | ||
| shapeless_2.12/ | Wed Jun 03 21:07:23 CEST 2026 | ||
| shapeless_2.13/ | Wed Jun 03 20:24:42 CEST 2026 |