Index of /groups/public/com/chuusai/shapeless

Name	Last Modified	Size	Description
Parent Directory
2.3.2/	Sat Aug 23 06:00:15 CEST 2025

Name

Last Modified

Size

Description

Sat Aug 23 06:00:15 CEST 2025

Index of /groups/public/com/chuusai/shapeless_2.10