Idris.IBC

loadIBC

loadPkgIndex

writeIBC

writePkgIndex

hasValidIBCVersion

data IBCPhase