Index of /groups/public/io/circe/circe-numbers_2.12
Name
Last Modified
Size
Description
Parent Directory
0.13.0/
Sat Mar 07 19:38:54 CET 2026
0.7.1/
Wed Mar 11 09:32:17 CET 2026
0.9.3/
Fri Mar 06 13:14:06 CET 2026