Inductive PlatformModuleT := PlatformModule {
  pmFile     : FileNameT;
  pmHash     : HashT;
  pmPlatform : PlatformT;
  pmSize     : nat
}.
