Idris.Package
getPkgDesc
buildPkg
checkPkg
replPkg
cleanPkg
documentPkg
testPkg
installPkg
auditPackage
buildMods
testLib
rmIBC
rmIdx
rmExe
toIBCFile
installIBC
installIdx
installObj
mkDirCmd
inPkgDir
make
clean
mergeOptions