Based on glancing at the source of this file it looks like some framework versions have a UserAgent
property on HttpWebRequest
but some don't, and the library you're using is assuming that your version of the framework doesn't when really it does. Perhaps try referencing one of the non-portable versions of the library?
Based on this thread it looks like this might be an intentional limitation when targeting the RT version of the framework (you would need to use HttpClient
instead of a traditional web request if you want to set the user agent), in which case this is a bug in the type provider implementation.