CurryInfo: All Packages

About CurryInfo
CurryInfo Cache (.tgz)
CPM Repository

Masala
Curry Package Manager
Curry Homepage

CurryInfo: property-prover-2.0.0 / PackageConfig: all operations

getPackageExecutable
getPackageLoadPath
getPackagePath
packageExecutable
packageLoadPath
packagePath
packageVersion

Generated by CurryInfo at Apr 3 02:27:54 2025