| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| shapeless_2.10.4/ | Sun Feb 12 00:13:28 UTC 2023 | ||
| shapeless_2.10/ | Wed Apr 20 14:24:06 UTC 2022 | ||
| shapeless_2.11/ | Fri May 17 02:59:32 UTC 2024 | ||
| shapeless_2.12/ | Thu Nov 14 17:41:06 UTC 2024 | ||
| shapeless_2.13/ | Thu Jul 25 09:48:12 UTC 2024 |