| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| shapeless_2.10/ | Fri Oct 30 19:36:15 CET 2026 | ||
| shapeless_2.11.0-M7/ | Fri Oct 30 11:51:01 CET 2026 | ||
| shapeless_2.11/ | Fri Oct 30 19:36:17 CET 2026 | ||
| shapeless_2.12/ | Fri Oct 30 23:40:44 CET 2026 | ||
| shapeless_2.13/ | Fri Oct 30 21:38:25 CET 2026 | ||
| shapeless_sjs0.6_2.11/ | Fri Oct 30 02:36:14 CET 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 |