Index of /groups/thirdparty-releases/io/circe/circe-numbers_2.13
Name
Last Modified
Size
Description
Parent Directory
0.14.1/
Tue Oct 25 16:25:45 UTC 2022
0.14.5/
Wed Mar 13 17:21:25 UTC 2024
0.14.6/
Tue Dec 19 09:16:56 UTC 2023
0.15.0-M1/
Tue Nov 07 16:03:01 UTC 2023