anchor.diff:          MonoAndroidVersion.V8_1
           MonoAndroidVersion.V9
           MonoAndroidVersion.V10
  +        MonoAndroidVersion.V11
  +        MonoAndroidVersion.V12
       ]
   
       let MonoAndroidProfiles =
  
positive.code:         | MonoAndroidVersion.V8_1   -> "8.1"
          | MonoAndroidVersion.V9   -> "9.0"
          | MonoAndroidVersion.V10 -> "10.0"
      override this.ToString() =
          match this with
          | MonoAndroidVersion.V1    -> "v1.0"
  
negative.code:         | "9.0" -> Some MonoAndroidVersion.V9
          | "10"
          | "10.0" -> Some MonoAndroidVersion.V10
          | "11"
          | "11.0" -> Some MonoAndroidVersion.V11
          | "12"
          | "12.0" -> Some MonoAndroidVersion.V12
          | _ -> None
  
  [<RequireQualifiedAccess>]
  