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