I used the download link from this wiki page to download the latest CRforVS13SP25_0-10010309.exe file: https://wiki.scn.sap.com/wiki/display/BOBJ/Crystal+Reports%2C+Developer+for+Visual+Studio+Downloads
Since there is the extra dash number on this file, is it a newer version of SP25? If service packs are updated in between version updates, is there a page that documents what those changes are and what triggers them to be released, e.g. a critical bug or security issue?