| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| shapeless_2.10/ | Mon Oct 19 08:08:00 CEST 2026 | ||
| shapeless_2.11.0-M7/ | Mon Oct 19 08:07:34 CEST 2026 | ||
| shapeless_2.11/ | Mon Oct 19 07:06:42 CEST 2026 | ||
| shapeless_2.12/ | Mon Oct 19 07:07:46 CEST 2026 | ||
| shapeless_2.13/ | Mon Oct 19 06:10:00 CEST 2026 | ||
| shapeless_sjs0.6_2.11/ | Mon Oct 19 09:49:33 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 |