Index of /repositories/public/io/github/mmhelloworld/idris-jvm/0.5.1

Name Last Modified Size Description
Parent Directory
idris-jvm-0.5.1.pom Wed Jun 15 03:35:38 UTC 2022 12982
idris-jvm-0.5.1.pom.sha1 Wed Jun 15 03:35:38 UTC 2022 40