How do you store third party libraries that you use in your project in your source control?
When would you store binaries in your source control?
When would
You should be able to install a fresh OS, get your sources from source control, built and run. So yes, you should put them in source control.