| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| shapeless_2.10/ | Sat Sep 12 09:27:35 CEST 2026 | ||
| shapeless_2.11.0-M7/ | Sat Sep 12 09:27:25 CEST 2026 | ||
| shapeless_2.11/ | Sat Sep 12 14:26:49 CEST 2026 | ||
| shapeless_2.12/ | Sat Sep 12 07:26:51 CEST 2026 | ||
| shapeless_2.13/ | Sat Sep 12 06:59:32 CEST 2026 | ||
| shapeless_sjs0.6_2.11/ | Thu Sep 03 12:03:16 CEST 2026 | ||
| shapeless_sjs0.6_2.12/ | Wed Jun 10 10:59:51 CEST 2026 | ||
| index.html | Sun Mar 02 23:40:11 CET 2025 | 9227 |