Index of /io/github/mmhelloworld/idris-jvm
Name
Last Modified
Size
Description
Parent Directory
0.5.1.1
Mon Feb 10 15:05:52 UTC 2025
1038
0.6.0-rc.1
Tue Feb 11 22:33:14 UTC 2025
1068
0.7.1-rc.1
Sun Jul 13 15:45:51 UTC 2025
1068