We still keep a VS2012 solution around and use it to diagnose problems in VS2012. For that purpose, the source code only uses the subset supported by F# 3.0. I'm not sure how to deal with versioning issues properly.