| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| shapeless_2.10/ | Thu Oct 29 07:09:19 CET 2026 | ||
| shapeless_2.11.0-M7/ | Thu Oct 29 05:45:08 CET 2026 | ||
| shapeless_2.11/ | Fri Oct 30 04:08:48 CET 2026 | ||
| shapeless_2.12/ | Thu Oct 29 23:35:53 CET 2026 | ||
| shapeless_2.13/ | Fri Oct 30 04:08:57 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 |