Manifests for syncing MIAOKP source code