| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| shapeless_2.10/ | Sun Dec 24 01:49:10 CET 2023 | ||
| shapeless_2.11.0-M7/ | Tue Feb 28 17:12:50 CET 2023 | ||
| shapeless_2.11/ | Thu Apr 02 21:02:40 CEST 2026 | ||
| shapeless_2.12/ | Fri Apr 03 00:01:29 CEST 2026 | ||
| shapeless_2.13/ | Thu Apr 02 22:02:58 CEST 2026 |