| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| shapeless_2.10.4/ | Sat Jun 24 23:51:16 CEST 2023 | ||
| shapeless_2.10/ | Sat Dec 02 14:54:32 CET 2023 | ||
| shapeless_2.11/ | Fri May 15 14:17:18 CEST 2026 | ||
| shapeless_2.12/ | Tue Nov 01 11:06:39 CET 2022 | ||
| shapeless_2.13/ | Sun Jun 28 14:12:44 CEST 2026 | ||
| shapeless_sjs1_2.13/ | Sat Jun 27 21:26:29 CEST 2026 |